Commit 7383309f authored by simonpj@microsoft.com's avatar simonpj@microsoft.com
Browse files

One last hs-boot update

parent 0ab8b6d4
...@@ -97,7 +97,7 @@ tcSpliceDecls e = pprPanic "Cant do tcSpliceDecls without GHCi" (ppr e) ...@@ -97,7 +97,7 @@ tcSpliceDecls e = pprPanic "Cant do tcSpliceDecls without GHCi" (ppr e)
%************************************************************************ %************************************************************************
\begin{code} \begin{code}
tcBracket :: HsBracket Name -> BoxyRhoType -> TcM (LHsExpr Id) tcBracket :: HsBracket Name -> BoxyRhoType -> TcM (LHsExpr TcId)
tcBracket brack res_ty tcBracket brack res_ty
= getStage `thenM` \ level -> = getStage `thenM` \ level ->
case bracketOK level of { case bracketOK level of {
......
\begin{code} \begin{code}
module TcSplice where module TcSplice where
import HsSyn ( HsSplice, HsBracket, HsExpr, LHsExpr, HsType, LHsDecl ) import HsSyn ( HsSplice, HsBracket, HsExpr, LHsExpr, HsType, LHsDecl )
import Var ( Id )
import Name ( Name ) import Name ( Name )
import RdrName ( RdrName ) import RdrName ( RdrName )
import TcRnTypes( TcM ) import TcRnTypes( TcM, TcId )
import TcType ( TcKind, BoxyRhoType ) import TcType ( TcKind, BoxyRhoType )
tcSpliceExpr :: HsSplice Name tcSpliceExpr :: HsSplice Name
-> BoxyRhoType -> BoxyRhoType
-> TcM (HsExpr Id) -> TcM (HsExpr TcId)
kcSpliceType :: HsSplice Name -> TcM (HsType Name, TcKind) kcSpliceType :: HsSplice Name -> TcM (HsType Name, TcKind)
tcBracket :: HsBracket Name tcBracket :: HsBracket Name
-> BoxyRhoType -> BoxyRhoType
-> TcM (LHsExpr Id) -> TcM (LHsExpr TcId)
tcSpliceDecls :: LHsExpr Name -> TcM [LHsDecl RdrName] tcSpliceDecls :: LHsExpr Name -> TcM [LHsDecl RdrName]
\end{code} \end{code}
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment