projects / ghc-hetmet.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (from: e17a800)
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)
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


No differences found
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)