Remove -XImpredicativeTypes from -fglasgow-exts
authorsimonpj@microsoft.com <unknown>
Wed, 31 Dec 2008 14:40:06 +0000 (14:40 +0000)
committersimonpj@microsoft.com <unknown>
Wed, 31 Dec 2008 14:40:06 +0000 (14:40 +0000)
See Trac #2846: impredicative types are far from stable, so
-fglasgow-exts should not imply them.  Maybe we should merge
this into 6.10?

compiler/main/DynFlags.hs

index 3f975cd..d04dade 100644 (file)
@@ -1819,7 +1819,6 @@ glasgowExtsFlags = [
            , Opt_PatternGuards
            , Opt_LiberalTypeSynonyms
            , Opt_RankNTypes
-           , Opt_ImpredicativeTypes
            , Opt_TypeOperators
            , Opt_RecursiveDo
            , Opt_ParallelListComp