[Improve links from flag reference to the relevant section; and improve doc of RankN flags
simonpj@microsoft.com**20071116145816] {
hunk ./docs/users_guide/flags.xml 789
- Enable polymorphic components.
+ Enable polymorphic components for data constructors.
hunk ./docs/users_guide/flags.xml 794
+
+ Enable rank-2 types.
+ dynamic
+
+
+
+
+ Enable rank-N types.
+ dynamic
+
+
+
hunk ./docs/users_guide/flags.xml 848
-
- Enable rank-2 types.
- dynamic
-
-
-
-
- Enable rank-N types.
- dynamic
-
-
-
hunk ./docs/users_guide/flags.xml 867
- Enable record wildcards.
+ Enable record wildcards.
hunk ./docs/users_guide/flags.xml 873
- Enable record puns.
+ Enable record puns.
hunk ./docs/users_guide/flags.xml 879
- Enable the disambiguate fields. exception
+ Enable record field disambiguation.
hunk ./docs/users_guide/flags.xml 915
- Enable flexible contexts.
+ Enable flexible contexts.
hunk ./docs/users_guide/flags.xml 921
- Enable flexible instances.
+ Enable flexible instances.
hunk ./docs/users_guide/flags.xml 927
- Enable constrained class methods.
+ Enable constrained class methods.
hunk ./docs/users_guide/glasgow_exts.xml 2692
-GHC lifts this restriction.
+GHC lifts this restriction (flag ).
hunk ./docs/users_guide/glasgow_exts.xml 3039
-The flag loosens these restrictions
+The flag loosens these restrictions
hunk ./docs/users_guide/glasgow_exts.xml 3445
-The context of a type signature
+The context of a type signature
hunk ./docs/users_guide/glasgow_exts.xml 4081
-GHC allows types of arbitrary rank; you can nest foralls
-arbitrarily deep in function arrows. (GHC used to be restricted to rank 2, but
-that restriction has now been lifted.)
+GHC has three flags to control higher-rank types:
+
+
+ : data constructors (only) can have polymorphic argment types.
+
+
+ : any function (including data constructors) can have a rank-2 type.
+
+
+ : any function (including data constructors) can have an arbitrary-rank type.
+That is, you can nest foralls
+arbitrarily deep in function arrows.
hunk ./docs/users_guide/glasgow_exts.xml 4104
+
+
}