[project @ 2000-05-22 07:59:17 by lewie]

Please merge, of course ;-)  A couple of sentences about implicit parameters
for the release notes.  You might want to double-check my sgml, which I
do not speak fluently.

diff --git a/ghc/docs/users_guide/4-07-notes.sgml b/ghc/docs/users_guide/4-07-notes.sgml
index 4608282..43e7ba9 100644 (file)
--- a/ghc/docs/users_guide/4-07-notes.sgml
+++ b/ghc/docs/users_guide/4-07-notes.sgml
@@ -23,11 +23,12 @@
       </listitem>
 
       <listitem>
-       <para>Implicit parameters.</para>
-      </listitem>
-
-      <listitem>
-       <para>Functional dependencies.</para>
+       <para>Implicit parameters.  This Haskell extension gives a
+       statically-typed version of dynamic scoping that avoids the
+       worst problems of dynamic scoping in lisp.  See the
+       <ulink url="http://www.cse.ogi.ed/~jlewis/implicit.ps.gz">POPL paper</ulink>
+       for more details.  It is enabled by <option>-fglasgow-exts</option>.
+       </para>
       </listitem>
 
       <listitem>