From: Simon Marlow <marlowsd@gmail.com>
Date: Fri, 30 May 2008 11:20:43 +0000 (+0000)
Subject: disable SAT for now (see #2321)
X-Git-Tag: 2008-06-01~2
X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=commitdiff_plain;h=724a9e83f9498382e3580d26a7dd7cd6b108408c

disable SAT for now (see #2321)
---

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,