Add -fprint-explicit-foralls flag; fixes trac #1474

[ghc-hetmet.git] / compiler / main / DynFlags.hs

diff --git a/compiler/main/DynFlags.hs b/compiler/main/DynFlags.hs
index 10bebab..a56a409 100644 (file)
--- a/compiler/main/DynFlags.hs
+++ b/compiler/main/DynFlags.hs
@@ -201,6 +201,8 @@ data DynFlag
    | Opt_Rank2Types
    | Opt_RankNTypes
 
+   | Opt_PrintExplicitForalls
+
    -- optimisation opts
    | Opt_Strictness
    | Opt_FullLaziness
@@ -1081,6 +1083,7 @@ fFlags = [
   ( "warn-deprecations",               Opt_WarnDeprecations ),
   ( "warn-orphans",                    Opt_WarnOrphans ),
   ( "warn-tabs",                       Opt_WarnTabs ),
+  ( "print-explicit-foralls", Opt_PrintExplicitForalls ),
   ( "strictness",                      Opt_Strictness ),
   ( "full-laziness",                   Opt_FullLaziness ),
   ( "liberate-case",                   Opt_LiberateCase ),
@@ -1166,6 +1169,7 @@ impliedFlags = [
   ]
 
 glasgowExtsFlags = [ Opt_GlasgowExts 
+           , Opt_PrintExplicitForalls
                   , Opt_FFI 
                   , Opt_GADTs
                   , Opt_ImplicitParams