in stage1, we should get isPrint and isUpper from Compat.Unicode, not Data.Char
[ghc-hetmet.git] / ghc / compiler / typecheck / TcSplice.hi-boot-6
index 07ec268..aa73980 100644 (file)
@@ -1,12 +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)
 
-tcSpliceDecls :: RnHsSyn.RenamedHsExpr 
-             -> TcRnTypes.TcM [RdrHsSyn.RdrNameHsDecl]
+kcSpliceType :: HsExpr.HsSplice Name.Name
+            -> TcRnTypes.TcM (HsTypes.HsType Name.Name, TcType.TcKind)
 
 tcBracket :: HsExpr.HsBracket Name.Name 
-         -> TcRnTypes.TcM TcType.TcType
\ No newline at end of file
+         -> TcType.BoxyRhoType
+         -> TcRnTypes.TcM (HsExpr.LHsExpr Var.Id)
+
+tcSpliceDecls :: HsExpr.LHsExpr Name.Name
+             -> TcRnTypes.TcM [HsDecls.LHsDecl RdrName.RdrName]