diff options
| author | simonpj@microsoft.com <unknown> | 2011-03-25 13:36:19 +0000 |
|---|---|---|
| committer | simonpj@microsoft.com <unknown> | 2011-03-25 13:36:19 +0000 |
| commit | 87c441135e53edbd6e322677e48e57ba1aec6bd8 (patch) | |
| tree | 9d1ac860935b9143aea571c78f4be573b1b480ed | |
| parent | 419821c7b153c1a05cb59d08c3d93e024aee48e6 (diff) | |
| download | haskell-87c441135e53edbd6e322677e48e57ba1aec6bd8.tar.gz | |
Fix typo in documentation (Trac #5035)
| -rw-r--r-- | docs/users_guide/glasgow_exts.xml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/users_guide/glasgow_exts.xml b/docs/users_guide/glasgow_exts.xml index a575bc9063..a5fba51788 100644 --- a/docs/users_guide/glasgow_exts.xml +++ b/docs/users_guide/glasgow_exts.xml @@ -5848,7 +5848,7 @@ signature is explicit. For example: g (x:xs) = xs ++ [ x :: a ] </programlisting> This program will be rejected, because "<literal>a</literal>" does not scope -over the definition of "<literal>f</literal>", so "<literal>x::a</literal>" +over the definition of "<literal>g</literal>", so "<literal>x::a</literal>" means "<literal>x::forall a. a</literal>" by Haskell's usual implicit quantification rules. </para></listitem> |