From: simonpj <unknown>
Date: Wed, 21 May 2003 15:49:54 +0000 (+0000)
Subject: [project @ 2003-05-21 15:49:54 by simonpj]
X-Git-Tag: Approx_11550_changesets_converted~879
X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;h=9487ea874dead5e90fd35ff653e13dce67d9f2c8;p=ghc-hetmet.git

[project @ 2003-05-21 15:49:54 by simonpj]
Add a microscopic amount of documentation for functional dependencies; who would like to volunteer to write more?
---

diff --git a/ghc/docs/users_guide/glasgow_exts.sgml b/ghc/docs/users_guide/glasgow_exts.sgml
index 96ef99a..ddd522f 100644
--- a/ghc/docs/users_guide/glasgow_exts.sgml
+++ b/ghc/docs/users_guide/glasgow_exts.sgml
@@ -1812,8 +1812,14 @@ In Proceedings of the 9th European Symposium on Programming,
 ESOP 2000, Berlin, Germany, March 2000, Springer-Verlag LNCS 1782,
 .
 </para>
-
 <para>
+Functional dependencies are introduced by a vertical bar in the syntax of a 
+class declaration;  e.g. 
+<programlisting>
+  class (Monad m) => MonadState s m | m -> s where ...
+
+  class Foo a b c | a b -> c where ...
+</programlisting>
 There should be more documentation, but there isn't (yet).  Yell if you need it.
 </para>
 </sect2>