X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=compiler%2Ftypecheck%2FTcSplice.lhs-boot;h=c9bab4bbfce5fa1645200ac6bfbceca92b29d25d;hb=ebec49fed627b7dd17e297ddc79a9c677a2ce538;hp=5ba223c83fb8e98744948c2fb2c1deb569e4cee8;hpb=7383309f0ffe52a30b214a7dcaefad0426f88aba;p=ghc-hetmet.git diff --git a/compiler/typecheck/TcSplice.lhs-boot b/compiler/typecheck/TcSplice.lhs-boot index 5ba223c..c9bab4b 100644 --- a/compiler/typecheck/TcSplice.lhs-boot +++ b/compiler/typecheck/TcSplice.lhs-boot @@ -1,20 +1,22 @@ \begin{code} module TcSplice where -import HsSyn ( HsSplice, HsBracket, HsExpr, LHsExpr, HsType, LHsDecl ) +import HsSyn ( HsSplice, HsBracket, HsQuasiQuote, + HsExpr, LHsExpr, LPat, LHsDecl ) import Name ( Name ) import RdrName ( RdrName ) import TcRnTypes( TcM, TcId ) -import TcType ( TcKind, BoxyRhoType ) +import TcType ( BoxyRhoType ) tcSpliceExpr :: HsSplice Name -> BoxyRhoType -> TcM (HsExpr TcId) -kcSpliceType :: HsSplice Name -> TcM (HsType Name, TcKind) - tcBracket :: HsBracket Name -> BoxyRhoType -> TcM (LHsExpr TcId) tcSpliceDecls :: LHsExpr Name -> TcM [LHsDecl RdrName] + +runQuasiQuoteExpr :: HsQuasiQuote Name.Name -> TcM (LHsExpr RdrName) +runQuasiQuotePat :: HsQuasiQuote Name -> TcM (LPat RdrName) \end{code}