[Document -XMonoLocalBinds
simonpj@microsoft.com**20091002111400
Ignore-this: ed8b57fb02690d78fbee99961ed8ab1c
] {
hunk ./docs/users_guide/flags.xml 760
+
+ Enable do not generalise local bindings.
+
+ dynamic
+
+
+
hunk ./docs/users_guide/glasgow_exts.xml 6002
+
+Monomorphic local bindings
+
+We are actively thinking of simplifying GHC's type system, by not generalising local bindings.
+The rationale is described in the paper
+Let should not be generalised.
+
+
+The experimental new behaviour is enabled by the flag . The effect is
+that local (that is, non-top-level) bindings without a type signature are not generalised at all. You can
+think of it as an extreme (but much more predictable) version of the Monomorphism Restriction.
+If you supply a type signature, then the flag has no effect.
+
+
+
}