X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Fcompiler%2FsimplCore%2FSAT.lhs;h=28cb54cebb5e3feee8e2d85320644ad6235efd66;hb=0596517a9b4b2b32e5d375a986351102ac4540fc;hp=dbd4f54000fd2490d1de4255ed2f6fbee22b534d;hpb=6c381e873e222417d9a67aeec77b9555eca7b7a8;p=ghc-hetmet.git

diff --git a/ghc/compiler/simplCore/SAT.lhs b/ghc/compiler/simplCore/SAT.lhs
index dbd4f54..28cb54c 100644
--- 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
+
+import Ubiq{-uitous-}
+import Util		( panic )
 
-	-- and to make the interface self-sufficient...
-    ) where
+doStaticArgs = panic "SAT.doStaticArgs (ToDo)"
+
+{- LATER: to end of file:
 
 import Maybes		( Maybe(..) )
 import SATMonad
@@ -205,5 +210,5 @@ getAppArgs app
     get e
       = satExpr e	`thenSAT` \ e2 ->
 	returnSAT (e2, Nothing)
+-}
 \end{code}
-