From 2d4a00233762ff9b5944e4bd0451d9dc6fe974a5 Mon Sep 17 00:00:00 2001
From: simonpj <unknown>
Date: Thu, 22 Mar 2001 11:00:54 +0000
Subject: [PATCH] [project @ 2001-03-22 11:00:54 by simonpj] Add a bit more
 info about -fno-implicit-prelude

---
 ghc/docs/users_guide/glasgow_exts.sgml |   18 +++++++++++++++---
 1 file changed, 15 insertions(+), 3 deletions(-)

diff --git a/ghc/docs/users_guide/glasgow_exts.sgml b/ghc/docs/users_guide/glasgow_exts.sgml
index 8589b04..951b59c 100644
--- a/ghc/docs/users_guide/glasgow_exts.sgml
+++ b/ghc/docs/users_guide/glasgow_exts.sgml
@@ -240,8 +240,8 @@ program), you may wish to check if there are libraries that provide a
             "<literal>Prelude.fromInteger 1</literal>", which is what
             the Haskell Report specifies.  So the
             <option>-fno-implicit-prelude</option> flag causes the
-            following pieces of built-in syntax to refer to whatever
-            is in scope, not the Prelude versions:</para>
+            following pieces of built-in syntax to refer to <emphasis>whatever
+            is in scope</emphasis>, not the Prelude versions:</para>
 
 	    <itemizedlist>
 	      <listitem>
@@ -260,13 +260,25 @@ program), you may wish to check if there are libraries that provide a
 
 	      <listitem>
 		<para>In an n+k pattern, the standard Prelude
-                <literal>Ord</literal> class is used for comparison,
+                <literal>Ord</literal> class is still used for comparison,
                 but the necessary subtraction uses whatever
                 "<literal>(-)</literal>" is in scope (not
                 "<literal>Prelude.(-)</literal>").</para>
 	      </listitem>
 	    </itemizedlist>
 
+	     <para>Note: Negative literals, such as <literal>-3</literal>, are
+             specified by (a careful reading of) the Haskell Report as 
+             meaning <literal>Prelude.negate (Prelude.fromInteger 3)</literal>.
+             However, GHC deviates from this slightly, and treats them as meaning
+             <literal>fromInteger (-3)</literal>.  One particular effect of this
+             slightly-non-standard reading is that there is no difficulty with
+             the literal <literal>-2147483648</literal> at type <literal>Int</literal>;
+             it means <literal>fromInteger (-2147483648)</literal>.  The strict interpretation
+             would be <literal>negate (fromInteger 21474836483)</literal>, 
+             and the call to <literal>fromInteger</literal> would overflow (at type <literal>Int</literal>, remember).
+             </para>
+
 	  </listitem>
 	</varlistentry>
 
-- 
1.7.10.4