[project @ 1996-06-26 10:26:00 by partain]

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

diff --git a/ghc/compiler/simplCore/SATMonad.lhs b/ghc/compiler/simplCore/SATMonad.lhs
index 029d856..e37a9fd 100644 (file)
--- a/ghc/compiler/simplCore/SATMonad.lhs
+++ b/ghc/compiler/simplCore/SATMonad.lhs
@@ -32,12 +32,11 @@ module SATMonad (
 
 import Type            ( mkTyVarTy, mkSigmaTy, TyVarTemplate,
                          splitSigmaTy, splitFunTy,
-                         glueTyArgs, instantiateTy, TauType(..),
-                         Class, ThetaType(..), SigmaType(..),
+                         glueTyArgs, instantiateTy, SYN_IE(TauType),
+                         Class, SYN_IE(ThetaType), SYN_IE(SigmaType),
                          InstTyEnv(..)
                        )
 import Id              ( mkSysLocal, idType )
-import Maybes          ( Maybe(..) )
 import SrcLoc          ( SrcLoc, mkUnknownSrcLoc )
 import UniqSupply
 import Util