Commit 1448e730 authored by simonpj@microsoft.com's avatar simonpj@microsoft.com
Browse files

One more hs-boot file

parent 8dabe4de
...@@ -2,27 +2,26 @@ ...@@ -2,27 +2,26 @@
module TcExpr where module TcExpr where
import HsSyn ( HsExpr, LHsExpr ) import HsSyn ( HsExpr, LHsExpr )
import Name ( Name ) import Name ( Name )
import Var ( Id ) import TcType ( TcType, TcRhoType, BoxySigmaType, BoxyRhoType )
import TcType ( TcType, BoxySigmaType, BoxyRhoType ) import TcRnTypes( TcM, TcId, InstOrigin )
import TcRnTypes( TcM, InstOrigin )
tcPolyExpr :: tcPolyExpr ::
LHsExpr Name LHsExpr Name
-> BoxySigmaType -> BoxySigmaType
-> TcM (LHsExpr Id) -> TcM (LHsExpr TcId)
tcMonoExpr :: tcMonoExpr ::
LHsExpr Name LHsExpr Name
-> BoxyRhoType -> BoxyRhoType
-> TcM (LHsExpr Id) -> TcM (LHsExpr TcId)
tcInferRho :: tcInferRho ::
LHsExpr Name LHsExpr Name
-> TcM (LHsExpr Id, TcType) -> TcM (LHsExpr TcId, TcRhoType)
tcSyntaxOp :: tcSyntaxOp ::
InstOrigin InstOrigin
-> HsExpr Name -> HsExpr Name
-> TcType -> TcType
-> TcM (HsExpr Id) -> TcM (HsExpr TcId)
\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