[commit: ghc] master: Fix users_guide markup (3ab407a)
Ian Lynagh
igloo at earth.li
Tue Dec 13 23:22:51 CET 2011
Repository : ssh://darcs.haskell.org//srv/darcs/ghc
On branch : master
http://hackage.haskell.org/trac/ghc/changeset/3ab407aad8898c3f56d30a49a197f6821547a6db
>---------------------------------------------------------------
commit 3ab407aad8898c3f56d30a49a197f6821547a6db
Author: Ian Lynagh <igloo at earth.li>
Date: Tue Dec 13 20:59:37 2011 +0000
Fix users_guide markup
>---------------------------------------------------------------
docs/users_guide/glasgow_exts.xml | 4 ++--
1 files changed, 2 insertions(+), 2 deletions(-)
diff --git a/docs/users_guide/glasgow_exts.xml b/docs/users_guide/glasgow_exts.xml
index 035acf7..7443abf 100644
--- a/docs/users_guide/glasgow_exts.xml
+++ b/docs/users_guide/glasgow_exts.xml
@@ -4356,7 +4356,7 @@ allows you to do so. For example:
data T a = MkT a a
instance Eq a => Eq (T a) where
(==) :: T a -> T a -> Bool -- The signature
- (==) (MkT x1 x2) (MkTy y1 y2) = x1==y1 && x2==y2
+ (==) (MkT x1 x2) (MkTy y1 y2) = x1==y1 && x2==y2
</programlisting>
The type signature in the instance declaration must be precisely the same as
the one in the class declaration, instantiated with the instance type.
@@ -4377,7 +4377,7 @@ instance C a => C (T a) where
</programlisting>
Provided that you also specify <option>-XScopedTypeVariables</option>
(<xref linkend="scoped-type-variables"/>),
-the <literal>forall b</forall> scopes over the definition of <literal>foo</literal>,
+the <literal>forall b</literal> scopes over the definition of <literal>foo</literal>,
and in particular over the type signature for <literal>xs</literal>.
</para>
</sect3>
More information about the Cvs-ghc
mailing list