From a030f9f241dd64bd6e3bcab00f191878f1df1004 Mon Sep 17 00:00:00 2001
From: lewie <unknown>
Date: Mon, 22 May 2000 07:59:17 +0000
Subject: [PATCH] [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.

---
 ghc/docs/users_guide/4-07-notes.sgml |   11 ++++++-----
 1 file changed, 6 insertions(+), 5 deletions(-)

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