[project @ 2004-11-11 16:07:40 by simonmar]

[ghc-hetmet.git] / ghc / compiler / simplCore / SAT.lhs

diff --git a/ghc/compiler/simplCore/SAT.lhs b/ghc/compiler/simplCore/SAT.lhs
index c79a174..81f3c4c 100644 (file)
--- a/ghc/compiler/simplCore/SAT.lhs
+++ b/ghc/compiler/simplCore/SAT.lhs
@@ -42,7 +42,7 @@ module SAT ( doStaticArgs ) where
 
 #include "HsVersions.h"
 
-import Util            ( panic )
+import Panic   ( panic )
 
 doStaticArgs = panic "SAT.doStaticArgs (ToDo)"
 
@@ -57,7 +57,7 @@ doStaticArgs :: [CoreBind] -> UniqSupply -> [CoreBind]
 
 doStaticArgs binds
   = do {
-       beginPass "Static argument";
+       showPass "Static argument";
        let { binds' = initSAT (mapSAT sat_bind binds) };
        endPass "Static argument" 
                False           -- No specific flag for dumping SAT
@@ -98,10 +98,6 @@ satExpr var@(Var v)
 
 satExpr lit@(Lit _) = returnSAT lit
 
-satExpr e@(Con con types args)
-  = mapSAT satAtom args            `thenSAT_`
-    returnSAT e
-
 satExpr e@(Prim prim ty args)
   = mapSAT satAtom args            `thenSAT_`
     returnSAT e