projects
/
ghc-hetmet.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(from parent 1:
419821c
)
Fix typo in documentation (Trac #5035)
author
simonpj@microsoft.com
<unknown>
Fri, 25 Mar 2011 13:36:19 +0000
(13:36 +0000)
committer
simonpj@microsoft.com
<unknown>
Fri, 25 Mar 2011 13:36:19 +0000
(13:36 +0000)
docs/users_guide/glasgow_exts.xml
patch
|
blob
|
history
diff --git
a/docs/users_guide/glasgow_exts.xml
b/docs/users_guide/glasgow_exts.xml
index
a575bc9
..
a5fba51
100644
(file)
--- 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>