X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=compiler%2Fmain%2FDynFlags.hs;h=10bebab2d487c4e1cb5c404a19cb8711a0eaef4e;hb=230dc0b04ad444140cab040073adfd0efba24878;hp=a61994ba69624ed46fe2dbefebf35319fe38bc6a;hpb=f109a0b2d927a8c7fe5cc9881f0dfdae3e34f399;p=ghc-hetmet.git diff --git a/compiler/main/DynFlags.hs b/compiler/main/DynFlags.hs index a61994b..10bebab 100644 --- a/compiler/main/DynFlags.hs +++ b/compiler/main/DynFlags.hs @@ -184,11 +184,13 @@ data DynFlag | Opt_GADTs | Opt_RelaxedPolyRec -- -X=RelaxedPolyRec | Opt_TypeSynonymInstances + | Opt_FlexibleContexts | Opt_FlexibleInstances | Opt_MultiParamTypeClasses | Opt_FunctionalDependencies | Opt_UnicodeSyntax | Opt_PolymorphicComponents + | Opt_ExistentialQuantification | Opt_MagicHash | Opt_EmptyDataDecls | Opt_KindSignatures @@ -1112,6 +1114,7 @@ xFlags = [ ( "UnicodeSyntax", Opt_UnicodeSyntax ), ( "MagicHash", Opt_MagicHash ), ( "PolymorphicComponents", Opt_PolymorphicComponents ), + ( "ExistentialQuantification", Opt_ExistentialQuantification ), ( "KindSignatures", Opt_KindSignatures ), ( "EmptyDataDecls", Opt_EmptyDataDecls ), ( "ParallelListComp", Opt_ParallelListComp ), @@ -1147,6 +1150,7 @@ xFlags = [ ( "ImplicitParams", Opt_ImplicitParams ), ( "ScopedTypeVariables", Opt_ScopedTypeVariables ), ( "TypeSynonymInstances", Opt_TypeSynonymInstances ), + ( "FlexibleContexts", Opt_FlexibleContexts ), ( "FlexibleInstances", Opt_FlexibleInstances ), ( "MultiParamTypeClasses", Opt_MultiParamTypeClasses ), ( "FunctionalDependencies", Opt_FunctionalDependencies ), @@ -1167,11 +1171,13 @@ glasgowExtsFlags = [ Opt_GlasgowExts , Opt_ImplicitParams , Opt_ScopedTypeVariables , Opt_TypeSynonymInstances + , Opt_FlexibleContexts , Opt_FlexibleInstances , Opt_MultiParamTypeClasses , Opt_FunctionalDependencies , Opt_MagicHash , Opt_PolymorphicComponents + , Opt_ExistentialQuantification , Opt_UnicodeSyntax , Opt_PatternGuards , Opt_RankNTypes