X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=compiler%2Ftypecheck%2FTcExpr.lhs-boot;h=6a75a1090ad28d7eb4849f125c2bc6035f68c4e6;hb=e9f9ec1e57d53b9302a395ce0d02c0fa59e28341;hp=be097ef485e130479e45eb33dc54698a8b4b1e47;hpb=1448e730dbd820e1380ea0a463590ace857bff68;p=ghc-hetmet.git diff --git a/compiler/typecheck/TcExpr.lhs-boot b/compiler/typecheck/TcExpr.lhs-boot index be097ef..6a75a10 100644 --- a/compiler/typecheck/TcExpr.lhs-boot +++ b/compiler/typecheck/TcExpr.lhs-boot @@ -10,12 +10,12 @@ tcPolyExpr :: -> BoxySigmaType -> TcM (LHsExpr TcId) -tcMonoExpr :: +tcMonoExpr, tcMonoExprNC :: LHsExpr Name -> BoxyRhoType -> TcM (LHsExpr TcId) -tcInferRho :: +tcInferRho, tcInferRhoNC :: LHsExpr Name -> TcM (LHsExpr TcId, TcRhoType) @@ -24,4 +24,5 @@ tcSyntaxOp :: -> HsExpr Name -> TcType -> TcM (HsExpr TcId) + \end{code}