Fix documentation of FlexibleContexts (#8574)
authorKrzysztof Gogolewski <krz.gogolewski@gmail.com>
Sat, 30 Nov 2013 15:50:40 +0000 (16:50 +0100)
committerKrzysztof Gogolewski <krz.gogolewski@gmail.com>
Sat, 30 Nov 2013 15:50:40 +0000 (16:50 +0100)
docs/users_guide/glasgow_exts.xml

index 0b0f78c..99a3f21 100644 (file)
@@ -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>