diff options
Diffstat (limited to 'compiler/simplCore/SAT.lhs')
-rw-r--r-- | compiler/simplCore/SAT.lhs | 11 |
1 files changed, 3 insertions, 8 deletions
diff --git a/compiler/simplCore/SAT.lhs b/compiler/simplCore/SAT.lhs index 329c95ca11..ca251568a7 100644 --- a/compiler/simplCore/SAT.lhs +++ b/compiler/simplCore/SAT.lhs @@ -52,10 +52,8 @@ essential to make this work well! module SAT ( doStaticArgs ) where -import DynFlags import Var import CoreSyn -import CoreLint import CoreUtils import Type import TcType @@ -78,11 +76,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 +423,4 @@ isStaticValue :: Staticness App -> Bool isStaticValue (Static (VarApp _)) = True isStaticValue _ = False -\end{code}
\ No newline at end of file +\end{code} |