X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=compiler%2Fmain%2FDynFlags.hs;h=22df6a02cf4deed42b1d58449b62a327fc47f544;hb=ad22ef24c74f54db4cb2326a85c06ae947c78ee3;hp=3990f045b3822e6e83c8b64e6dc8fa8db0c138e2;hpb=9176377bf7d989919fe7d27cad1f56bd9c4e7b6b;p=ghc-hetmet.git

diff --git a/compiler/main/DynFlags.hs b/compiler/main/DynFlags.hs
index 3990f04..22df6a0 100644
--- a/compiler/main/DynFlags.hs
+++ b/compiler/main/DynFlags.hs
@@ -179,6 +179,10 @@ data DynFlag
    | Opt_DoCmmLinting
    | Opt_DoAsmLinting
 
+   | Opt_F_coqpass                      -- run the core-to-core   coqPass (does whatever CoqPass.hs says)
+   | Opt_D_coqpass                      -- run the core-to-string coqPass and dumps the result
+   | Opt_D_dump_coqpass                 -- dumps the output of the core-to-core coqPass
+
    | Opt_WarnIsError                    -- -Werror; makes warnings fatal
    | Opt_WarnDuplicateExports
    | Opt_WarnHiShadows
@@ -1292,6 +1296,11 @@ dynamic_flags = [
                                               setVerbosity (Just 2)))
   , Flag "dfaststring-stats"       (NoArg (setDynFlag Opt_D_faststring_stats))
 
+        ------ Coq-in-GHC ---------------------------
+  , Flag "dcoqpass"                (NoArg (setDynFlag Opt_D_coqpass))
+  , Flag "ddump-coqpass"           (NoArg (setDynFlag Opt_D_dump_coqpass))
+  , Flag "fcoqpass"                (NoArg (setDynFlag Opt_F_coqpass))
+
         ------ Machine dependant (-m<blah>) stuff ---------------------------
 
   , Flag "monly-2-regs" (noArg (\s -> s{stolen_x86_regs = 2}))
@@ -1684,7 +1693,7 @@ impliedFlags
 
     , (Opt_ModalTypes,                 turnOn,  Opt_RankNTypes)
     , (Opt_ModalTypes,                 turnOn,  Opt_ExplicitForAll)
-    , (Opt_ModalTypes,                 turnOn,  Opt_RebindableSyntax)
+    --, (Opt_ModalTypes,                 turnOn,  Opt_RebindableSyntax)
     , (Opt_ModalTypes,                 turnOff, Opt_MonomorphismRestriction)
 
     , (Opt_RebindableSyntax, turnOff, Opt_ImplicitPrelude)      -- NB: turn off!