projects
/
ghc-hetmet.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
[project @ 1996-04-05 08:26:04 by partain]
[ghc-hetmet.git]
/
ghc
/
compiler
/
simplStg
/
StgSAT.lhs
diff --git
a/ghc/compiler/simplStg/StgSAT.lhs
b/ghc/compiler/simplStg/StgSAT.lhs
index
c8a5e35
..
a70205e
100644
(file)
--- a/
ghc/compiler/simplStg/StgSAT.lhs
+++ b/
ghc/compiler/simplStg/StgSAT.lhs
@@
-33,19
+33,19
@@
useless as map' will be transformed back to what map was.
module StgSAT ( doStaticArgs ) where
module StgSAT ( doStaticArgs ) where
-import Maybes ( Maybe(..) )
+import Ubiq{-uitous-}
+
import StgSyn
import StgSyn
-import SATMonad ( SATEnv(..), SATInfo(..), Arg(..), updSAEnv, insSAEnv,
- SatM(..), initSAT, thenSAT, thenSAT_,
- emptyEnvSAT, returnSAT, mapSAT )
-import StgSATMonad
-import UniqSupply
-import Util
+import UniqSupply ( UniqSM(..) )
+import Util ( panic )
\end{code}
\begin{code}
doStaticArgs :: [StgBinding] -> UniqSupply -> [StgBinding]
\end{code}
\begin{code}
doStaticArgs :: [StgBinding] -> UniqSupply -> [StgBinding]
+doStaticArgs = panic "StgSAT.doStaticArgs"
+
+{- LATER: to end of file:
doStaticArgs binds
= initSAT (mapSAT sat_bind binds)
where
doStaticArgs binds
= initSAT (mapSAT sat_bind binds)
where
@@
-174,5
+174,5
@@
satRhs rhs@(StgRhsCon cc v args) = returnSAT rhs
satRhs (StgRhsClosure cc bi fvs upd args body)
= satExpr body `thenSAT` \ body' ->
returnSAT (StgRhsClosure cc bi fvs upd args body')
satRhs (StgRhsClosure cc bi fvs upd args body)
= satExpr body `thenSAT` \ body' ->
returnSAT (StgRhsClosure cc bi fvs upd args body')
+-}
\end{code}
\end{code}
-