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