X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Fcompiler%2Ftypecheck%2FTcSplice.hi-boot-6;h=8fbf8436e3dd67da98feea5e816d38587cee1388;hb=d32c5227315009f38355fe3233f0f4e5b1f61dc6;hp=6c0a291b71a82ade2f81f38141510a8550d32605;hpb=550421384b8364cdaf3135f7859c9f7d7ee1fff1;p=ghc-hetmet.git diff --git a/ghc/compiler/typecheck/TcSplice.hi-boot-6 b/ghc/compiler/typecheck/TcSplice.hi-boot-6 index 6c0a291..8fbf843 100644 --- a/ghc/compiler/typecheck/TcSplice.hi-boot-6 +++ b/ghc/compiler/typecheck/TcSplice.hi-boot-6 @@ -1,10 +1,12 @@ module TcSplice where -tcSpliceExpr :: Name.Name - -> HsExpr.LHsExpr Name.Name +tcSpliceExpr :: HsExpr.HsSplice Name.Name -> TcUnify.Expected TcType.TcType -> TcRnTypes.TcM (HsExpr.HsExpr Var.Id) +kcSpliceType :: HsExpr.HsSplice Name.Name + -> TcRnTypes.TcM (HsType.HsType Name.Name, TcType.TcKind) + tcBracket :: HsExpr.HsBracket Name.Name -> TcUnify.Expected TcType.TcType -> TcRnTypes.TcM (HsExpr.LHsExpr Var.Id)