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

diff --git a/ghc/compiler/simplCore/SATMonad.lhs b/ghc/compiler/simplCore/SATMonad.lhs
index 265df48..b61deb3 100644
--- a/ghc/compiler/simplCore/SATMonad.lhs
+++ b/ghc/compiler/simplCore/SATMonad.lhs
@@ -1,5 +1,5 @@
 %
-% (c) The GRASP/AQUA Project, Glasgow University, 1992-1995
+% (c) The GRASP/AQUA Project, Glasgow University, 1992-1996
 %
 %************************************************************************
 %*									*
@@ -7,9 +7,20 @@
 %*									*
 %************************************************************************
 
+96/03: We aren't using the static-argument transformation right now.
+
 \begin{code}
 #include "HsVersions.h"
 
+module SATMonad where
+
+import Ubiq{-uitous-}
+import Util		( panic )
+
+junk_from_SATMonad = panic "SATMonad.junk"
+
+{- LATER: to end of file:
+
 module SATMonad (
 	SATInfo(..), updSAEnv,
 	SatM(..), initSAT, emptyEnvSAT,
@@ -20,7 +31,7 @@ module SATMonad (
     ) where
 
 import Type		( mkTyVarTy, mkSigmaTy, TyVarTemplate,
-			  extractTyVarsFromTy, splitSigmaTy, splitTyArgs,
+			  splitSigmaTy, splitTyArgs,
 			  glueTyArgs, instantiateTy, TauType(..),
 			  Class, ThetaType(..), SigmaType(..),
 			  InstTyEnv(..)
@@ -135,7 +146,7 @@ newSATName id ty us env
 getArgLists :: CoreExpr -> ([Arg Type],[Arg Id])
 getArgLists expr
   = let
-	(uvs, tvs, lambda_bounds, body) = digForLambdas expr
+	(uvs, tvs, lambda_bounds, body) = collectBinders expr
     in
     ([ Static (mkTyVarTy tv) | tv <- tvs ],
      [ Static v		     | v <- lambda_bounds ])
@@ -201,7 +212,7 @@ saTransform binder rhs
 	    -- this binder *will* get inlined but if it happen to be
 	    -- a top level binder it is never removed as dead code,
 	    -- therefore we have to remove that information (of it being
-	    -- top-level or exported somehow.
+	    -- top-level or exported somehow.)
 	    -- A better fix is to use binder directly but with the TopLevel
 	    -- tag (or Exported tag) modified.
 	    fake_binder = mkSysLocal
@@ -250,4 +261,5 @@ dropStatics (_:args)	    (t:ts) = t:dropStatics args ts
 isStatic :: Arg a -> Bool
 isStatic NotStatic = False
 isStatic _	   = True
+-}
 \end{code}