[project @ 2002-07-22 14:29:13 by simonpj]

Add a note about pattern-matching with -fno-implicit-prelude

diff --git a/ghc/docs/users_guide/glasgow_exts.sgml b/ghc/docs/users_guide/glasgow_exts.sgml
index 667eef4..5af7633 100644 (file)
--- a/ghc/docs/users_guide/glasgow_exts.sgml
+++ b/ghc/docs/users_guide/glasgow_exts.sgml
@@ -2627,6 +2627,8 @@ qualifier list has just one element, a boolean expression.
                 "<literal>fromRational 3.2</literal>", not the
                 Prelude-qualified versions; both in expressions and in
                 patterns. </para>
+               <para>However, the standard Prelude <literal>Eq</literal> class
+               is still used for the equality test necessary for literal patterns.</para>
              </listitem>
 
              <listitem>