Simon's big boxy-type commit
[ghc-hetmet.git] / ghc / compiler / typecheck / TcSplice.lhs-boot
index 74a2ca3..d161770 100644 (file)
@@ -5,16 +5,16 @@ import Var    ( Id )
 import Name    ( Name )
 import RdrName ( RdrName )
 import TcRnTypes( TcM )
-import TcType  ( TcType, TcKind, Expected )
+import TcType  ( TcKind, BoxyRhoType )
 
 tcSpliceExpr :: HsSplice Name
-            -> Expected TcType
+            -> BoxyRhoType
             -> TcM (HsExpr Id)
 
 kcSpliceType :: HsSplice Name -> TcM (HsType Name, TcKind)
 
 tcBracket :: HsBracket Name 
-         -> Expected TcType
+         -> BoxyRhoType
          -> TcM (LHsExpr Id)
 
 tcSpliceDecls :: LHsExpr Name -> TcM [LHsDecl RdrName]