From 5cc4210033d275b55fb3229817315b817357cbaf Mon Sep 17 00:00:00 2001
From: simonpj <unknown>
Date: Mon, 22 Jul 2002 14:29:13 +0000
Subject: [PATCH] [project @ 2002-07-22 14:29:13 by simonpj] Add a note about
 pattern-matching with -fno-implicit-prelude

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

diff --git a/ghc/docs/users_guide/glasgow_exts.sgml b/ghc/docs/users_guide/glasgow_exts.sgml
index 667eef4..5af7633 100644
--- 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>
-- 
1.7.10.4