diff options
| author | Ian Lynagh <igloo@earth.li> | 2011-12-13 20:59:37 +0000 |
|---|---|---|
| committer | Ian Lynagh <igloo@earth.li> | 2011-12-13 20:59:37 +0000 |
| commit | 3ab407aad8898c3f56d30a49a197f6821547a6db (patch) | |
| tree | 3bdc3c6e087d632f9a1513e9b725dc0f057e60ee /docs | |
| parent | 4c6dda014a735d2a50c885da99bab908673f9726 (diff) | |
| download | haskell-3ab407aad8898c3f56d30a49a197f6821547a6db.tar.gz | |
Fix users_guide markup
Diffstat (limited to 'docs')
| -rw-r--r-- | 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 035acf7954..7443abfb23 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> |