[project @ 2005-01-31 13:22:57 by simonpj]

[ghc-hetmet.git] / ghc / compiler / typecheck / TcSplice.hi-boot-6

diff --git a/ghc/compiler/typecheck/TcSplice.hi-boot-6 b/ghc/compiler/typecheck/TcSplice.hi-boot-6
index 6c0a291..5f28493 100644 (file)
--- a/ghc/compiler/typecheck/TcSplice.hi-boot-6
+++ b/ghc/compiler/typecheck/TcSplice.hi-boot-6
@@ -1,12 +1,14 @@
 module TcSplice where
 
-tcSpliceExpr :: Name.Name
-            -> HsExpr.LHsExpr Name.Name
-            -> TcUnify.Expected TcType.TcType
+tcSpliceExpr :: HsExpr.HsSplice Name.Name
+            -> TcType.Expected TcType.TcType
             -> TcRnTypes.TcM (HsExpr.HsExpr Var.Id)
 
+kcSpliceType :: HsExpr.HsSplice Name.Name
+            -> TcRnTypes.TcM (HsTypes.HsType Name.Name, TcType.TcKind)
+
 tcBracket :: HsExpr.HsBracket Name.Name 
-         -> TcUnify.Expected TcType.TcType
+         -> TcType.Expected TcType.TcType
          -> TcRnTypes.TcM (HsExpr.LHsExpr Var.Id)
 
 tcSpliceDecls :: HsExpr.LHsExpr Name.Name