From 9487ea874dead5e90fd35ff653e13dce67d9f2c8 Mon Sep 17 00:00:00 2001
From: simonpj <unknown>
Date: Wed, 21 May 2003 15:49:54 +0000
Subject: [PATCH] [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?

---
 ghc/docs/users_guide/glasgow_exts.sgml |    8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

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>
-- 
1.7.10.4