diff options
author | simonpj@microsoft.com <unknown> | 2010-09-13 09:50:48 +0000 |
---|---|---|
committer | simonpj@microsoft.com <unknown> | 2010-09-13 09:50:48 +0000 |
commit | d2ce0f52d42edf32bb9f13796e6ba6edba8bd516 (patch) | |
tree | 1a0792f7eb186fa3d71a02f4a21da3daae3466bb /compiler/typecheck/TcExpr.lhs-boot | |
parent | 0084ab49ab3c0123c4b7f9523d092af45bccfd41 (diff) | |
download | haskell-d2ce0f52d42edf32bb9f13796e6ba6edba8bd516.tar.gz |
Super-monster patch implementing the new typechecker -- at last
This major patch implements the new OutsideIn constraint solving
algorithm in the typecheker, following our JFP paper "Modular type
inference with local assumptions".
Done with major help from Dimitrios Vytiniotis and Brent Yorgey.
Diffstat (limited to 'compiler/typecheck/TcExpr.lhs-boot')
-rw-r--r-- | compiler/typecheck/TcExpr.lhs-boot | 18 |
1 files changed, 9 insertions, 9 deletions
diff --git a/compiler/typecheck/TcExpr.lhs-boot b/compiler/typecheck/TcExpr.lhs-boot index 6a75a1090a..5a4f005fbe 100644 --- a/compiler/typecheck/TcExpr.lhs-boot +++ b/compiler/typecheck/TcExpr.lhs-boot @@ -2,27 +2,27 @@ module TcExpr where import HsSyn ( HsExpr, LHsExpr ) import Name ( Name ) -import TcType ( TcType, TcRhoType, BoxySigmaType, BoxyRhoType ) -import TcRnTypes( TcM, TcId, InstOrigin ) +import TcType ( TcType, TcRhoType, TcSigmaType ) +import TcRnTypes( TcM, TcId, CtOrigin ) tcPolyExpr :: LHsExpr Name - -> BoxySigmaType + -> TcSigmaType -> TcM (LHsExpr TcId) tcMonoExpr, tcMonoExprNC :: LHsExpr Name - -> BoxyRhoType + -> TcRhoType -> TcM (LHsExpr TcId) tcInferRho, tcInferRhoNC :: LHsExpr Name -> TcM (LHsExpr TcId, TcRhoType) -tcSyntaxOp :: - InstOrigin - -> HsExpr Name - -> TcType - -> TcM (HsExpr TcId) +tcSyntaxOp :: CtOrigin + -> HsExpr Name + -> TcType + -> TcM (HsExpr TcId) +tcCheckId :: Name -> TcRhoType -> TcM (HsExpr TcId) \end{code} |