Add -XExistentialQuantification flag

diff --git a/compiler/main/DynFlags.hs b/compiler/main/DynFlags.hs
index a61994b..853155d 100644 (file)
--- a/compiler/main/DynFlags.hs
+++ b/compiler/main/DynFlags.hs
@@ -189,6 +189,7 @@ data DynFlag
    | Opt_FunctionalDependencies
    | Opt_UnicodeSyntax
    | Opt_PolymorphicComponents
+   | Opt_ExistentialQuantification
    | Opt_MagicHash
    | Opt_EmptyDataDecls
    | Opt_KindSignatures
@@ -1112,6 +1113,7 @@ xFlags = [
   ( "UnicodeSyntax",                    Opt_UnicodeSyntax ),
   ( "MagicHash",                        Opt_MagicHash ),
   ( "PolymorphicComponents",            Opt_PolymorphicComponents ),
+  ( "ExistentialQuantification",        Opt_ExistentialQuantification ),
   ( "KindSignatures",                   Opt_KindSignatures ),
   ( "EmptyDataDecls",                   Opt_EmptyDataDecls ),
   ( "ParallelListComp",                 Opt_ParallelListComp ),
@@ -1172,6 +1174,7 @@ glasgowExtsFlags = [ Opt_GlasgowExts
            , Opt_FunctionalDependencies
                   , Opt_MagicHash
            , Opt_PolymorphicComponents
+           , Opt_ExistentialQuantification
            , Opt_UnicodeSyntax
            , Opt_PatternGuards
            , Opt_RankNTypes

diff --git a/compiler/parser/Lexer.x b/compiler/parser/Lexer.x
index 753a972..f2b7769 100644 (file)
--- a/compiler/parser/Lexer.x
+++ b/compiler/parser/Lexer.x
@@ -1591,6 +1591,7 @@ mkPState buf loc flags  =
               .|. ipBit        `setBitIf` dopt Opt_ImplicitParams flags
               .|. explicitForallBit `setBitIf` dopt Opt_ScopedTypeVariables flags
               .|. explicitForallBit `setBitIf` dopt Opt_PolymorphicComponents flags
+              .|. explicitForallBit `setBitIf` dopt Opt_ExistentialQuantification flags
               .|. bangPatBit   `setBitIf` dopt Opt_BangPatterns flags
               .|. tyFamBit     `setBitIf` dopt Opt_TypeFamilies flags
               .|. haddockBit   `setBitIf` dopt Opt_Haddock      flags