X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=compiler%2Fmain%2FDynFlags.hs;h=10bebab2d487c4e1cb5c404a19cb8711a0eaef4e;hb=230dc0b04ad444140cab040073adfd0efba24878;hp=853155d9692fa65346312104b8fa055f6e7e045b;hpb=df9814b4b29c92cd421d1404757f525b264b9714;p=ghc-hetmet.git diff --git a/compiler/main/DynFlags.hs b/compiler/main/DynFlags.hs index 853155d..10bebab 100644 --- a/compiler/main/DynFlags.hs +++ b/compiler/main/DynFlags.hs @@ -184,6 +184,7 @@ data DynFlag | Opt_GADTs | Opt_RelaxedPolyRec -- -X=RelaxedPolyRec | Opt_TypeSynonymInstances + | Opt_FlexibleContexts | Opt_FlexibleInstances | Opt_MultiParamTypeClasses | Opt_FunctionalDependencies @@ -1149,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 ), @@ -1169,6 +1171,7 @@ glasgowExtsFlags = [ Opt_GlasgowExts , Opt_ImplicitParams , Opt_ScopedTypeVariables , Opt_TypeSynonymInstances + , Opt_FlexibleContexts , Opt_FlexibleInstances , Opt_MultiParamTypeClasses , Opt_FunctionalDependencies