Add (a) CoreM monad, (b) new Annotations feature

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

diff --git a/compiler/simplCore/SAT.lhs b/compiler/simplCore/SAT.lhs
index 329c95c..ca25156 100644 (file)
--- a/compiler/simplCore/SAT.lhs
+++ b/compiler/simplCore/SAT.lhs
@@ -52,10 +52,8 @@ essential to make this work well!
 
 module SAT ( doStaticArgs ) where
 
 
 module SAT ( doStaticArgs ) where
 

-import DynFlags

 import Var
 import CoreSyn
 import Var
 import CoreSyn

-import CoreLint

 import CoreUtils
 import Type
 import TcType
 import CoreUtils
 import Type
 import TcType

@@ -78,11 +76,8 @@ import FastString
 \end{code}
 
 \begin{code}
 \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
   where
     sat_bind_threaded_us us bind =
         let (us1, us2) = splitUniqSupply us

@@ -428,4 +423,4 @@ isStaticValue :: Staticness App -> Bool
 isStaticValue (Static (VarApp _)) = True
 isStaticValue _                   = False
 
 isStaticValue (Static (VarApp _)) = True
 isStaticValue _                   = False
 

-\end{code}
\ No newline at end of file
+\end{code}