From 724a9e83f9498382e3580d26a7dd7cd6b108408c Mon Sep 17 00:00:00 2001 From: Simon Marlow Date: Fri, 30 May 2008 11:20:43 +0000 Subject: [PATCH] disable SAT for now (see #2321) --- compiler/main/DynFlags.hs | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/compiler/main/DynFlags.hs b/compiler/main/DynFlags.hs index be0212e..5425ace 100644 --- a/compiler/main/DynFlags.hs +++ b/compiler/main/DynFlags.hs @@ -832,7 +832,7 @@ getCoreToDo dflags liberate_case = dopt Opt_LiberateCase dflags rule_check = ruleCheck dflags vectorisation = dopt Opt_Vectorise dflags - static_args = dopt Opt_StaticArgumentTransformation dflags + -- static_args = dopt Opt_StaticArgumentTransformation dflags maybe_rule_check phase = runMaybe rule_check (CoreDoRuleCheck phase) @@ -886,7 +886,8 @@ getCoreToDo dflags -- may expose extra opportunities to float things outwards. However, to fix -- up the output of the transformation we need at do at least one simplify -- after this before anything else - runWhen static_args CoreDoStaticArgs, + -- runWhen static_args CoreDoStaticArgs, + -- XXX disabled, see #2321 -- initial simplify: mk specialiser happy: minimum effort please simpl_gently, -- 1.7.10.4