diff options
| -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> |