[commit: ghc] master: Fix documentation of FlexibleContexts (#8574) (4bbffb4)
git at git.haskell.org
git at git.haskell.org
Sat Nov 30 15:51:19 UTC 2013
Repository : ssh://git@git.haskell.org/ghc
On branch : master
Link : http://ghc.haskell.org/trac/ghc/changeset/4bbffb49ebddaa803f2c82c837a68553042f0793/ghc
>---------------------------------------------------------------
commit 4bbffb49ebddaa803f2c82c837a68553042f0793
Author: Krzysztof Gogolewski <krz.gogolewski at gmail.com>
Date: Sat Nov 30 16:50:40 2013 +0100
Fix documentation of FlexibleContexts (#8574)
>---------------------------------------------------------------
4bbffb49ebddaa803f2c82c837a68553042f0793
docs/users_guide/glasgow_exts.xml | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/docs/users_guide/glasgow_exts.xml b/docs/users_guide/glasgow_exts.xml
index 0b0f78c..99a3f21 100644
--- a/docs/users_guide/glasgow_exts.xml
+++ b/docs/users_guide/glasgow_exts.xml
@@ -6476,7 +6476,7 @@ a type variable any more!
The <option>-XFlexibleContexts</option> flag lifts the Haskell 98 restriction
that the type-class constraints in a type signature must have the
form <emphasis>(class type-variable)</emphasis> or
-<emphasis>(class (type-variable type-variable ...))</emphasis>.
+<emphasis>(class (type-variable type1 type2 ... typen))</emphasis>.
With <option>-XFlexibleContexts</option>
these type signatures are perfectly OK
<programlisting>
More information about the ghc-commits
mailing list