[project @ 1996-06-05 06:44:31 by partain]

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

diff --git a/ghc/compiler/simplCore/SAT.lhs b/ghc/compiler/simplCore/SAT.lhs
index dbd4f54..cac46f1 100644 (file)
--- a/ghc/compiler/simplCore/SAT.lhs
+++ b/ghc/compiler/simplCore/SAT.lhs
@@ -1,5 +1,5 @@
 %
-% (c) The GRASP/AQUA Project, Glasgow University, 1992-1995
+% (c) The GRASP/AQUA Project, Glasgow University, 1992-1996
 %
 %************************************************************************
 %*                                                                     *
@@ -7,6 +7,8 @@
 %*                                                                     *
 %************************************************************************
 
+96/03: We aren't using the static-argument transformation right now.
+
 May be seen as removing invariants from loops:
 Arguments of recursive functions that do not change in recursive
 calls are removed from the recursion, which is done locally
@@ -38,11 +40,14 @@ Experimental Evidence: Heap: +/- 7%
 \begin{code}
 #include "HsVersions.h"
 
-module SAT (
-       doStaticArgs
+module SAT ( doStaticArgs ) where
+
+IMP_Ubiq(){-uitous-}
+import Util            ( panic )
+
+doStaticArgs = panic "SAT.doStaticArgs (ToDo)"
 
-       -- and to make the interface self-sufficient...
-    ) where
+{- LATER: to end of file:
 
 import Maybes          ( Maybe(..) )
 import SATMonad
@@ -67,7 +72,7 @@ doStaticArgs binds
     sat_bind (Rec pairs)
       = emptyEnvSAT            `thenSAT_`
        mapSAT satExpr rhss     `thenSAT` \ rhss' ->
-       returnSAT (Rec (binders `zip` rhss'))
+       returnSAT (Rec (zipEqual "doStaticArgs" binders rhss'))
       where
        (binders, rhss) = unzip pairs
 \end{code}
@@ -158,11 +163,15 @@ satExpr (Let (Rec binds) body)
     in
     satExpr body                   `thenSAT` \ body' ->
     mapSAT satExpr rhss                    `thenSAT` \ rhss' ->
-    returnSAT (Let (Rec (binders `zip` rhss')) body')
+    returnSAT (Let (Rec (zipEqual "satExpr:Rec" binders rhss')) body')
 
 satExpr (SCC cc expr)
   = satExpr expr                   `thenSAT` \ expr2 ->
     returnSAT (SCC cc expr2)
+
+satExpr (Coerce c ty expr)
+  = satExpr expr                   `thenSAT` \ expr2 ->
+    returnSAT (Coerce c ty expr2)
 \end{code}
 
 \begin{code}
@@ -205,5 +214,5 @@ getAppArgs app
     get e
       = satExpr e      `thenSAT` \ e2 ->
        returnSAT (e2, Nothing)
+-}
 \end{code}
-