[project @ 1996-06-11 13:18:54 by partain]

[ghc-hetmet.git] / ghc / compiler / typecheck / TcDefaults.lhs

diff --git a/ghc/compiler/typecheck/TcDefaults.lhs b/ghc/compiler/typecheck/TcDefaults.lhs
index 5ea9905..3d40162 100644 (file)
--- a/ghc/compiler/typecheck/TcDefaults.lhs
+++ b/ghc/compiler/typecheck/TcDefaults.lhs
@@ -8,20 +8,20 @@
 
 module TcDefaults ( tcDefaults ) where
 
-import Ubiq
+IMP_Ubiq()
 
 import HsSyn           ( DefaultDecl(..), MonoType,
                          HsExpr, HsLit, ArithSeqInfo, Fake, InPat)
 import RnHsSyn         ( RenamedDefaultDecl(..) )
 import TcHsSyn         ( TcIdOcc )
 
-import TcMonad
+import TcMonad         hiding ( rnMtoTcM )
 import Inst            ( InstOrigin(..) )
 import TcEnv           ( tcLookupClassByKey )
 import TcMonoType      ( tcMonoType )
 import TcSimplify      ( tcSimplifyCheckThetas )
 
-import PrelInfo                ( intTy, doubleTy, unitTy )
+import TysWiredIn      ( intTy, doubleTy, unitTy )
 import Unique          ( numClassKey )
 import Util
 \end{code}
@@ -47,8 +47,8 @@ tcDefaults [DefaultDecl mono_tys locn]
            -- We only care about whether it worked or not
 
        tcLookupClassByKey numClassKey                  `thenNF_Tc` \ num ->
-       tcSimplifyCheckThetas DefaultDeclOrigin
-               [ (num, ty) | ty <- tau_tys ]           `thenTc` \ _ ->
+       tcSimplifyCheckThetas
+               [ (num, ty) | ty <- tau_tys ]           `thenTc_`
 
        returnTc tau_tys