import Util ( split )
#endif
-import Data.Char ( isDigit, isUpper )
+import Data.Char ( isUpper )
import System.IO ( hPutStrLn, stderr )
+#ifdef GHCI
+import Breakpoints ( BkptHandler )
+import Module ( ModuleName )
+#endif
-- -----------------------------------------------------------------------------
-- DynFlags
| Opt_D_dump_flatC
| Opt_D_dump_foreign
| Opt_D_dump_inlinings
+ | Opt_D_dump_rule_firings
| Opt_D_dump_occur_anal
| Opt_D_dump_parsed
| Opt_D_dump_rn
| Opt_WarnDeprecations
| Opt_WarnDodgyImports
| Opt_WarnOrphans
+ | Opt_WarnTabs
-- language opts
| Opt_AllowOverlappingInstances
| Opt_ScopedTypeVariables
| Opt_BangPatterns
| Opt_IndexedTypes
+ | Opt_OverloadedStrings
-- optimisation opts
| Opt_Strictness
| Opt_SplitObjs
| Opt_StgStats
| Opt_HideAllPackages
+#if defined(GHCI) && defined(DEBUGGER)
+ | Opt_Debugging
+#endif
| Opt_PrintBindResult
| Opt_Haddock
- | Opt_Hpc
- | Opt_Hpc_Tracer
+ | Opt_Hpc_No_Auto
-- keeping stuff
| Opt_KeepHiDiffs
optLevel :: Int, -- optimisation level
maxSimplIterations :: Int, -- max simplifier iterations
ruleCheck :: Maybe String,
+ libCaseThreshold :: Int, -- Threshold for liberate-case
+
stolen_x86_regs :: Int,
cmdlineHcIncludes :: [String], -- -#includes
importPaths :: [FilePath],
-- message output
log_action :: Severity -> SrcSpan -> PprStyle -> Message -> IO ()
+
+#ifdef GHCI
+ -- breakpoint handling
+ ,bkptHandler :: Maybe (BkptHandler Module)
+#endif
}
data HscTarget
optLevel = 0,
maxSimplIterations = 4,
ruleCheck = Nothing,
+ libCaseThreshold = 20,
stolen_x86_regs = 4,
cmdlineHcIncludes = [],
importPaths = ["."],
packageFlags = [],
pkgDatabase = Nothing,
pkgState = panic "no package state yet: call GHC.setSessionDynFlags",
-
+#ifdef GHCI
+ bkptHandler = Nothing,
+#endif
flags = [
Opt_ReadUserPackageConf,
updOptLevel :: Int -> DynFlags -> DynFlags
-- Set dynflags appropriate to the optimisation level
updOptLevel n dfs
- = if (n >= 1)
- then dfs2{ hscTarget = HscC, optLevel = n } -- turn on -fvia-C with -O
- else dfs2{ optLevel = n }
+ = dfs2{ optLevel = n }
where
dfs1 = foldr (flip dopt_unset) dfs remove_dopts
dfs2 = foldr (flip dopt_set) dfs1 extra_dopts
, ( "F" , NoArg (setDynFlag Opt_Pp))
, ( "#include" , HasArg (addCmdlineHCInclude) )
, ( "v" , OptIntSuffix setVerbosity )
+
------- Specific phases --------------------------------------------
, ( "pgmL" , HasArg (upd . setPgmL) )
, ( "pgmP" , HasArg (upd . setPgmP) )
, ( "ddump-flatC", setDumpFlag Opt_D_dump_flatC)
, ( "ddump-foreign", setDumpFlag Opt_D_dump_foreign)
, ( "ddump-inlinings", setDumpFlag Opt_D_dump_inlinings)
+ , ( "ddump-rule-firings", setDumpFlag Opt_D_dump_rule_firings)
, ( "ddump-occur-anal", setDumpFlag Opt_D_dump_occur_anal)
, ( "ddump-parsed", setDumpFlag Opt_D_dump_parsed)
, ( "ddump-rn", setDumpFlag Opt_D_dump_rn)
, ( "w" , NoArg (mapM_ unSetDynFlag minusWallOpts) )
------ Optimisation flags ------------------------------------------
- , ( "O" , NoArg (upd (setOptLevel 1)))
- , ( "Onot" , NoArg (upd (setOptLevel 0)))
- , ( "O" , PrefixPred (all isDigit)
- (\f -> upd (setOptLevel (read f))))
+ , ( "O" , NoArg (upd (setOptLevel 1)))
+ , ( "Onot" , NoArg (upd (setOptLevel 0)))
+ , ( "O" , OptIntSuffix (\mb_n -> upd (setOptLevel (mb_n `orElse` 1))))
+ -- If the number is missing, use 1
- , ( "fmax-simplifier-iterations",
- PrefixPred (all isDigit)
- (\n -> upd (\dfs ->
- dfs{ maxSimplIterations = read n })) )
-
- , ( "frule-check",
- SepArg (\s -> upd (\dfs -> dfs{ ruleCheck = Just s })))
+ , ( "fmax-simplifier-iterations", IntSuffix (\n ->
+ upd (\dfs -> dfs{ maxSimplIterations = n })) )
+ , ( "fliberate-case-threshold", IntSuffix (\n -> upd (\dfs -> dfs{ libCaseThreshold = n })))
+ , ( "frule-check", SepArg (\s -> upd (\dfs -> dfs{ ruleCheck = Just s })))
+ , ( "fcontext-stack" , IntSuffix $ \n -> upd $ \dfs -> dfs{ ctxtStkDepth = n })
------ Compiler flags -----------------------------------------------
, ( "fglasgow-exts", NoArg (mapM_ setDynFlag glasgowExtsFlags) )
, ( "fno-glasgow-exts", NoArg (mapM_ unSetDynFlag glasgowExtsFlags) )
- , ( "fcontext-stack" , OptIntSuffix $ \mb_n -> upd $ \dfs ->
- dfs{ ctxtStkDepth = mb_n `orElse` 3 })
-- the rest of the -f* and -fno-* flags
, ( "fno-", PrefixPred (\f -> isFFlag f) (\f -> unSetDynFlag (getFFlag f)) )
( "warn-unused-matches", Opt_WarnUnusedMatches ),
( "warn-deprecations", Opt_WarnDeprecations ),
( "warn-orphans", Opt_WarnOrphans ),
+ ( "warn-tabs", Opt_WarnTabs ),
( "fi", Opt_FFI ), -- support `-ffi'...
( "ffi", Opt_FFI ), -- ...and also `-fffi'
( "arrows", Opt_Arrows ), -- arrow syntax
( "implicit-prelude", Opt_ImplicitPrelude ),
( "scoped-type-variables", Opt_ScopedTypeVariables ),
( "bang-patterns", Opt_BangPatterns ),
+ ( "overloaded-strings", Opt_OverloadedStrings ),
( "indexed-types", Opt_IndexedTypes ),
( "monomorphism-restriction", Opt_MonomorphismRestriction ),
( "mono-pat-binds", Opt_MonoPatBinds ),
( "excess-precision", Opt_ExcessPrecision ),
( "asm-mangling", Opt_DoAsmMangling ),
( "print-bind-result", Opt_PrintBindResult ),
+#if defined(GHCI) && defined(DEBUGGER)
+ ( "debugging", Opt_Debugging),
+#endif
( "force-recomp", Opt_ForceRecomp ),
- ( "hpc", Opt_Hpc ),
- ( "hpc-tracer", Opt_Hpc_Tracer )
+ ( "hpc-no-auto", Opt_Hpc_No_Auto )
]