X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=compiler%2Fmain%2FStaticFlagParser.hs;h=f7ad41f5a21d4f38cd277b37b0ce2b9a794d7fe5;hb=9c84f11b774960077d33d94a23ebc42af79d2ec4;hp=36a2fd1efe4a76ff548d4002e7f9726e3517f6b3;hpb=0cb74388d80c12f0804db61744a041be7fcfa10b;p=ghc-hetmet.git diff --git a/compiler/main/StaticFlagParser.hs b/compiler/main/StaticFlagParser.hs index 36a2fd1..f7ad41f 100644 --- a/compiler/main/StaticFlagParser.hs +++ b/compiler/main/StaticFlagParser.hs @@ -121,13 +121,15 @@ static_flags = [ -- is required to get the RTS ticky support. ------ Debugging ---------------------------------------------------- - , Flag "dppr-debug" (PassFlag addOpt) - , Flag "dsuppress-uniques" (PassFlag addOpt) - , Flag "dsuppress-coercions" (PassFlag addOpt) - , Flag "dppr-user-length" (AnySuffix addOpt) - , Flag "dopt-fuel" (AnySuffix addOpt) - , Flag "dno-debug-output" (PassFlag addOpt) - , Flag "dstub-dead-values" (PassFlag addOpt) + , Flag "dppr-debug" (PassFlag addOpt) + , Flag "dsuppress-uniques" (PassFlag addOpt) + , Flag "dsuppress-coercions" (PassFlag addOpt) + , Flag "dsuppress-module-prefixes" (PassFlag addOpt) + , Flag "dppr-user-length" (AnySuffix addOpt) + , Flag "dopt-fuel" (AnySuffix addOpt) + , Flag "dtrace-level" (AnySuffix addOpt) + , Flag "dno-debug-output" (PassFlag addOpt) + , Flag "dstub-dead-values" (PassFlag addOpt) -- rest of the debugging flags are dynamic ----- Linker -------------------------------------------------------- @@ -175,7 +177,6 @@ isStaticFlag f = "dno-black-holing", "fno-state-hack", "fsimple-list-literals", - "fno-ds-multi-tyvar", "fruntime-types", "fno-pre-inlining", "fexcess-precision", @@ -192,6 +193,7 @@ isStaticFlag f = "fmax-worker-args", "fhistory-size", "funfolding-creation-threshold", + "funfolding-dict-threshold", "funfolding-use-threshold", "funfolding-fun-discount", "funfolding-keeness-factor"