From: lewie <unknown>
Date: Mon, 22 May 2000 07:59:17 +0000 (+0000)
Subject: [project @ 2000-05-22 07:59:17 by lewie]
X-Git-Tag: Approximately_9120_patches~4419
X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;h=a030f9f241dd64bd6e3bcab00f191878f1df1004;p=ghc-hetmet.git

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