X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Fcompiler%2Ftypecheck%2FTcSplice.hi-boot-6;h=aa73980e5a0e467f8f2b334c12f2f02503e7f24a;hb=05dad81285b606521b550b690f3e645bb7dc8f75;hp=f5f8c5195d973a01b883eee0e333c1b9d942a6a4;hpb=9af77fa423926fbda946b31e174173d0ec5ebac8;p=ghc-hetmet.git

diff --git a/ghc/compiler/typecheck/TcSplice.hi-boot-6 b/ghc/compiler/typecheck/TcSplice.hi-boot-6
index f5f8c51..aa73980 100644
--- a/ghc/compiler/typecheck/TcSplice.hi-boot-6
+++ b/ghc/compiler/typecheck/TcSplice.hi-boot-6
@@ -1,7 +1,15 @@
 module TcSplice where
 
-tcSpliceExpr :: Name.Name
-	     -> RnHsSyn.RenamedHsExpr
-	     -> TcType.TcType
-	     -> TcRnTypes.TcM TcHsSyn.TcExpr
+tcSpliceExpr :: HsExpr.HsSplice Name.Name
+	     -> TcType.BoxyRhoType
+	     -> TcRnTypes.TcM (HsExpr.HsExpr Var.Id)
 
+kcSpliceType :: HsExpr.HsSplice Name.Name
+	     -> TcRnTypes.TcM (HsTypes.HsType Name.Name, TcType.TcKind)
+
+tcBracket :: HsExpr.HsBracket Name.Name 
+	  -> TcType.BoxyRhoType
+	  -> TcRnTypes.TcM (HsExpr.LHsExpr Var.Id)
+
+tcSpliceDecls :: HsExpr.LHsExpr Name.Name
+	      -> TcRnTypes.TcM [HsDecls.LHsDecl RdrName.RdrName]