+ ++
+
+ (if opt_level >= 2 then
+ [ CoreLiberateCase,
+ CoreDoSimplify (SimplPhase 0) [
+ MaxSimplifierIterations max_iter
+ ], -- Run the simplifier after LiberateCase to vastly
+ -- reduce the possiblility of shadowing
+ -- Reason: see Note [Shadowing] in SpecConstr.lhs
+ CoreDoSpecConstr
+ ]
+ else
+ [])
+
+ ++