X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=compiler%2FsimplCore%2FSAT.lhs;h=08bb1ecf4080e7e8a073d83614503b864ec3f42f;hb=fe204a040a0381a1c18be10b9870cb3d20b0486b;hp=e6e5ff1fb2a7e282137d88734b2747a52f626c27;hpb=c3693c2d32ffb9d312a598a65cbc62f3c3270008;p=ghc-hetmet.git

diff --git a/compiler/simplCore/SAT.lhs b/compiler/simplCore/SAT.lhs
index e6e5ff1..08bb1ec 100644
--- a/compiler/simplCore/SAT.lhs
+++ b/compiler/simplCore/SAT.lhs
@@ -52,16 +52,12 @@ essential to make this work well!
 
 module SAT ( doStaticArgs ) where
 
-import DynFlags
-import Var hiding (mkLocalId)
+import Var
 import CoreSyn
-import CoreLint
 import CoreUtils
 import Type
-import TcType
 import Id
 import Name
-import OccName
 import VarEnv
 import UniqSupply
 import Util
@@ -78,11 +74,8 @@ import FastString
 \end{code}
 
 \begin{code}
-doStaticArgs :: DynFlags -> UniqSupply -> [CoreBind] -> IO [CoreBind]
-doStaticArgs dflags us binds = do
-    showPass dflags "Static argument"
-    let binds' = snd $ mapAccumL sat_bind_threaded_us us binds
-    endPass dflags "Static argument" Opt_D_verbose_core2core binds'
+doStaticArgs :: UniqSupply -> [CoreBind] -> [CoreBind]
+doStaticArgs us binds = snd $ mapAccumL sat_bind_threaded_us us binds
   where
     sat_bind_threaded_us us bind =
         let (us1, us2) = splitUniqSupply us
@@ -428,4 +421,4 @@ isStaticValue :: Staticness App -> Bool
 isStaticValue (Static (VarApp _)) = True
 isStaticValue _                   = False
 
-\end{code}
\ No newline at end of file
+\end{code}