Export 'succeeded' and 'failed' helper functions.

[ghc-hetmet.git] / docs / users_guide / glasgow_exts.xml

diff --git a/docs/users_guide/glasgow_exts.xml b/docs/users_guide/glasgow_exts.xml
index 393cbf5..ec08210 100644 (file)
--- a/docs/users_guide/glasgow_exts.xml
+++ b/docs/users_guide/glasgow_exts.xml
@@ -1232,7 +1232,7 @@ it is not clear which of the two types is intended.
 </para>
 <para>
 Haskell 98 regards all four as ambiguous, but with the
 </para>
 <para>
 Haskell 98 regards all four as ambiguous, but with the

-<option>-fdisambiguate-record-fields</option> flag, GHC will accept
+<option>-XDisambiguateRecordFields</option> flag, GHC will accept

 the former two.  The rules are precisely the same as those for instance
 declarations in Haskell 98, where the method names on the left-hand side 
 of the method bindings in an instance declaration refer unambiguously
 the former two.  The rules are precisely the same as those for instance
 declarations in Haskell 98, where the method names on the left-hand side 
 of the method bindings in an instance declaration refer unambiguously

@@ -2002,9 +2002,9 @@ of the data constructor.  For GADTs, the field may mention only types
 that appear as a simple type-variable argument in the constructor's result
 type</emphasis>.  For example:
 <programlisting>
 that appear as a simple type-variable argument in the constructor's result
 type</emphasis>.  For example:
 <programlisting>

-data T a where { T1 { f1::a, f2::(a,b) } :: T a }    -- b is existential
-upd1 t x = t { f1=x }   -- OK:   upd1 :: T a -> b -> T b
-upd2 t x = t { f2=x }   -- BAD   (f2's type mentions b, which is
+data T a b where { T1 { f1::a, f2::b, f3::(b,c) } :: T a b } -- c is existential
+upd1 t x = t { f1=x }   -- OK:   upd1 :: T a b -> a' -> T a' b
+upd2 t x = t { f3=x }   -- BAD   (f3's type mentions c, which is

                         --        existentially quantified)
 
 data G a b where { G1 { g1::a, g2::c } :: G a [c] }
                         --        existentially quantified)
 
 data G a b where { G1 { g1::a, g2::c } :: G a [c] }

@@ -5994,7 +5994,7 @@ main = do { print $ eval [$expr|1 + 2|]
 module Expr where
 
 import qualified Language.Haskell.TH as TH
 module Expr where
 
 import qualified Language.Haskell.TH as TH

-import Language.Haskell.TH.Quasi
+import Language.Haskell.TH.Quote

 
 data Expr  =  IntExpr Integer
            |  AntiIntExpr String
 
 data Expr  =  IntExpr Integer
            |  AntiIntExpr String