From: simonpj <unknown>
Date: Mon, 18 Mar 2002 15:27:08 +0000 (+0000)
Subject: [project @ 2002-03-18 15:27:08 by simonpj]
X-Git-Tag: Approx_11550_changesets_converted~2247
X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;h=f2c6879637426228502fd42ae9afa3404e57f014;p=ghc-hetmet.git

[project @ 2002-03-18 15:27:08 by simonpj]
More on linear implicit params
---

diff --git a/ghc/docs/users_guide/glasgow_exts.sgml b/ghc/docs/users_guide/glasgow_exts.sgml
index bc6dd13..282df11 100644
--- a/ghc/docs/users_guide/glasgow_exts.sgml
+++ b/ghc/docs/users_guide/glasgow_exts.sgml
@@ -918,12 +918,14 @@ written '<literal>%x</literal>' instead of '<literal>?x</literal>'.
 <para>
 For example:
 <programlisting>
+    import GHC.Exts( Splittable )
+
     data NameSupply = ...
     
     splitNS :: NameSupply -> (NameSupply, NameSupply)
     newName :: NameSupply -> Name
 
-    instance PrelSplit.Splittable NameSupply where
+    instance Splittable NameSupply where
 	split = splitNS
 
 
@@ -954,7 +956,7 @@ the parameter explicit:
 Notice the call to 'split' introduced by the type checker.
 How did it know to use 'splitNS'?  Because what it really did
 was to introduce a call to the overloaded function 'split',
-defined by
+defined by the class <literal>Splittable</literal>:
 <programlisting>
 	class Splittable a where
 	  split :: a -> (a,a)
@@ -968,8 +970,8 @@ and GHC will infer
 <programlisting>
 	g :: (Splittable a, %ns :: a) => b -> (b,a,a)
 </programlisting>
-The <literal>Splittable</literal> class is built into GHC.  It's defined in <literal>PrelSplit</literal>,
-and exported by <literal>GlaExts</literal>.
+The <literal>Splittable</literal> class is built into GHC.  It's exported by module 
+<literal>GHC.Exts</literal>.
 </para>
 <para>
 Other points: