X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=blobdiff_plain;f=compiler%2Ftypecheck%2FTcSplice.lhs-boot;h=32d3e5ad39c4af3d840f363ac8b55bfa8f908f0d;hp=11606dad736e60d8cef7f1742a6fae435a4f33da;hb=6f8ff0bbad3b9fa389c960ad1b5a267a1ae502f1;hpb=4b357e2a7e7eff16cb51b01830636d451664b202 diff --git a/compiler/typecheck/TcSplice.lhs-boot b/compiler/typecheck/TcSplice.lhs-boot index 11606da..32d3e5a 100644 --- a/compiler/typecheck/TcSplice.lhs-boot +++ b/compiler/typecheck/TcSplice.lhs-boot @@ -1,7 +1,7 @@ \begin{code} module TcSplice where import HsSyn ( HsSplice, HsBracket, HsQuasiQuote, - HsExpr, HsType, LHsExpr, LPat, LHsDecl ) + HsExpr, HsType, LHsType, LHsExpr, LPat, LHsDecl ) import Name ( Name ) import RdrName ( RdrName ) import TcRnTypes( TcM, TcId ) @@ -24,7 +24,9 @@ tcSpliceDecls :: LHsExpr Name -> TcM [LHsDecl RdrName] lookupThName_maybe :: TH.Name -> TcM (Maybe Name) -runQuasiQuoteExpr :: HsQuasiQuote Name.Name -> TcM (LHsExpr RdrName) -runQuasiQuotePat :: HsQuasiQuote Name -> TcM (LPat RdrName) +runQuasiQuoteDecl :: HsQuasiQuote RdrName -> TcM [LHsDecl RdrName] +runQuasiQuoteExpr :: HsQuasiQuote RdrName -> TcM (LHsExpr RdrName) +runQuasiQuoteType :: HsQuasiQuote RdrName -> TcM (LHsType RdrName) +runQuasiQuotePat :: HsQuasiQuote RdrName -> TcM (LPat RdrName) runAnnotation :: CoreAnnTarget -> LHsExpr Name -> TcM Annotation \end{code}