Add flag -XExplicitForAll and document it
authorsimonpj@microsoft.com <unknown>
Wed, 7 Oct 2009 15:52:51 +0000 (15:52 +0000)
committersimonpj@microsoft.com <unknown>
Wed, 7 Oct 2009 15:52:51 +0000 (15:52 +0000)
commite17a800817a370fd198831f12cff35122376fa8d
tree9c12a70a72d98e812296ff689932f18ce727306f
parent99332983ad06a8cfef34c7908a73038c6f3f4781
Add flag -XExplicitForAll and document it

This implements the Haskell Prime proposal
  http://hackage.haskell.org/trac/haskell-prime/wiki/ExplicitForall

Flag is -XExplicitForAll

Implied by Opt_RankNTypes, Opt_Rank2Types, Opt_ScopedTypeVariables,
           Opt_LiberalTypeSynonyms, Opt_ExistentialQuantification,
           Opt_PolymorphicComponents
compiler/main/DynFlags.hs
compiler/parser/Lexer.x
compiler/rename/RnEnv.lhs
docs/users_guide/flags.xml
docs/users_guide/glasgow_exts.xml