From: Ian Lynagh Date: Mon, 9 Jul 2007 12:44:36 +0000 (+0000) Subject: Add -XExistentialQuantification flag X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=commitdiff_plain;h=df9814b4b29c92cd421d1404757f525b264b9714 Add -XExistentialQuantification flag --- diff --git a/compiler/main/DynFlags.hs b/compiler/main/DynFlags.hs index a61994b..853155d 100644 --- 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 --- 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