Commit 6b051145 authored by simonpj@microsoft.com's avatar simonpj@microsoft.com
Browse files

Run the -frule-check pass more often (when asked)

parent 7bd518dd
...@@ -901,10 +901,15 @@ getCoreToDo dflags ...@@ -901,10 +901,15 @@ getCoreToDo dflags
runWhen spec_constr CoreDoSpecConstr, runWhen spec_constr CoreDoSpecConstr,
case rule_check of { Just pat -> CoreDoRuleCheck 0 pat; Nothing -> CoreDoNothing },
-- Final clean-up simplification: -- Final clean-up simplification:
CoreDoSimplify (SimplPhase 0) [ CoreDoSimplify (SimplPhase 0) [
MaxSimplifierIterations max_iter MaxSimplifierIterations max_iter
] ],
case rule_check of { Just pat -> CoreDoRuleCheck 0 pat; Nothing -> CoreDoNothing }
] ]
-- ----------------------------------------------------------------------------- -- -----------------------------------------------------------------------------
...@@ -1137,7 +1142,7 @@ dynamic_flags = [ ...@@ -1137,7 +1142,7 @@ dynamic_flags = [
, ( "fspec-threshold", IntSuffix (\n -> upd (\dfs -> dfs{ specThreshold = n }))) , ( "fspec-threshold", IntSuffix (\n -> upd (\dfs -> dfs{ specThreshold = n })))
, ( "fliberate-case-threshold", IntSuffix (\n -> upd (\dfs -> dfs{ specThreshold = n }))) , ( "fliberate-case-threshold", IntSuffix (\n -> upd (\dfs -> dfs{ specThreshold = n })))
, ( "frule-check", SepArg (\s -> upd (\dfs -> dfs{ ruleCheck = Just s }))) , ( "frule-check", SepArg (\s -> upd (\dfs -> dfs{ ruleCheck = Just s })))
, ( "fcontext-stack" , IntSuffix $ \n -> upd $ \dfs -> dfs{ ctxtStkDepth = n }) , ( "fcontext-stack" , IntSuffix $ \n -> upd $ \dfs -> dfs{ ctxtStkDepth = n })
------ Compiler flags ----------------------------------------------- ------ Compiler flags -----------------------------------------------
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment