X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=compiler%2Ftypecheck%2FTcExpr.lhs-boot;h=6a75a1090ad28d7eb4849f125c2bc6035f68c4e6;hb=f4b727487a65e6b611bbaafbd2207bd63a8df706;hp=4ff2c191f816fb3019dcb6b0c06a4106755c0ed6;hpb=6a05ec5ef5373f61b7f9f5bdc344483417fa801b;p=ghc-hetmet.git diff --git a/compiler/typecheck/TcExpr.lhs-boot b/compiler/typecheck/TcExpr.lhs-boot index 4ff2c19..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)