opt_IgnoreAsserts,
opt_IgnoreIfacePragmas,
opt_NoHiCheck,
- opt_NoImplicitPrelude,
opt_OmitBlackHoling,
opt_OmitInterfacePragmas,
opt_NoPruneTyDecls,
import Array ( array, (//) )
import GlaExts
import IOExts ( IORef, readIORef )
-import Argv
import Constants -- Default values for some flags
import Util
import FastTypes
| Opt_AllowUndecidableInstances
| Opt_GlasgowExts
| Opt_Generics
+ | Opt_NoImplicitPrelude
-- misc
| Opt_ReportCompile
opt_IgnoreAsserts = lookUp SLIT("-fignore-asserts")
opt_IgnoreIfacePragmas = lookUp SLIT("-fignore-interface-pragmas")
opt_NoHiCheck = lookUp SLIT("-fno-hi-version-check")
-opt_NoImplicitPrelude = lookUp SLIT("-fno-implicit-prelude")
opt_OmitBlackHoling = lookUp SLIT("-dno-black-holing")
opt_OmitInterfacePragmas = lookUp SLIT("-fomit-interface-pragmas")
\begin{code}
isStaticHscFlag f =
f `elem` [
- "-fauto-sccs-on-all-toplevs",
- "-fauto-sccs-on-exported-toplevs",
- "-fauto-sccs-on-individual-cafs",
- "-fauto-sccs-on-dicts",
- "-fscc-profiling",
- "-fticky-ticky",
- "-fall-strict",
- "-fdicts-strict",
- "-fgenerics",
- "-firrefutable-tuples",
- "-fnumbers-strict",
- "-fparallel",
- "-fsmp",
- "-fsemi-tagging",
- "-ffoldr-build-on",
- "-flet-no-escape",
- "-funfold-casms-in-hi-file",
- "-fusagesp-on",
- "-funbox-strict-fields",
- "-femit-extern-decls",
- "-fglobalise-toplev-names",
- "-fgransim",
- "-fignore-asserts",
- "-fignore-interface-pragmas",
- "-fno-hi-version-check",
- "-fno-implicit-prelude",
- "-dno-black-holing",
- "-fomit-interface-pragmas",
- "-fno-pre-inlining",
- "-fdo-eta-reduction",
- "-fdo-lambda-eta-expansion",
- "-fcase-of-case",
- "-fcase-merge",
- "-fpedantic-bottoms",
- "-fexcess-precision",
- "-funfolding-update-in-place",
- "-freport-compile",
- "-fno-prune-decls",
- "-fno-prune-tydecls",
- "-static",
- "-funregisterised",
- "-v" ]
+ "fauto-sccs-on-all-toplevs",
+ "fauto-sccs-on-exported-toplevs",
+ "fauto-sccs-on-individual-cafs",
+ "fauto-sccs-on-dicts",
+ "fscc-profiling",
+ "fticky-ticky",
+ "fall-strict",
+ "fdicts-strict",
+ "firrefutable-tuples",
+ "fnumbers-strict",
+ "fparallel",
+ "fsmp",
+ "fsemi-tagging",
+ "ffoldr-build-on",
+ "flet-no-escape",
+ "funfold-casms-in-hi-file",
+ "fusagesp-on",
+ "funbox-strict-fields",
+ "femit-extern-decls",
+ "fglobalise-toplev-names",
+ "fgransim",
+ "fignore-asserts",
+ "fignore-interface-pragmas",
+ "fno-hi-version-check",
+ "fno-implicit-prelude",
+ "dno-black-holing",
+ "fomit-interface-pragmas",
+ "fno-pre-inlining",
+ "fdo-eta-reduction",
+ "fdo-lambda-eta-expansion",
+ "fcase-of-case",
+ "fcase-merge",
+ "fpedantic-bottoms",
+ "fexcess-precision",
+ "funfolding-update-in-place",
+ "freport-compile",
+ "fno-prune-decls",
+ "fno-prune-tydecls",
+ "static",
+ "funregisterised",
+ "v" ]
|| any (flip prefixMatch f) [
- "-fcontext-stack",
- "-fliberate-case-threshold",
- "-fhi-version=",
- "-fhistory-size",
- "-funfolding-interface-threshold",
- "-funfolding-creation-threshold",
- "-funfolding-use-threshold",
- "-funfolding-fun-discount",
- "-funfolding-keeness-factor"
+ "fcontext-stack",
+ "fliberate-case-threshold",
+ "fhi-version=",
+ "fhistory-size",
+ "funfolding-interface-threshold",
+ "funfolding-creation-threshold",
+ "funfolding-use-threshold",
+ "funfolding-fun-discount",
+ "funfolding-keeness-factor"
]
\end{code}