X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=compiler%2Ftypecheck%2FTcExpr.lhs;h=0da370bd4e31ede37ddafeaccf561491e2f89e11;hb=1525a5819aa3a6eae8d8b05cfe348a2384da0c84;hp=c26d74d572992d3dee3a53542c9f73ac9b1f8967;hpb=c938c386fe84f9203c992bb35508c7a5b35bb22c;p=ghc-hetmet.git diff --git a/compiler/typecheck/TcExpr.lhs b/compiler/typecheck/TcExpr.lhs index c26d74d..0da370b 100644 --- a/compiler/typecheck/TcExpr.lhs +++ b/compiler/typecheck/TcExpr.lhs @@ -26,7 +26,7 @@ import HsSyn ( HsExpr(..), LHsExpr, ArithSeqInfo(..), recBindFields, import TcHsSyn ( hsLitType ) import TcRnMonad import TcUnify ( tcInfer, tcSubExp, tcFunResTy, tcGen, boxyUnify, subFunTys, zapToMonotype, stripBoxyType, - boxySplitListTy, boxySplitTyConApp, wrapFunResCoercion, preSubType,, + boxySplitListTy, boxySplitTyConApp, wrapFunResCoercion, preSubType, unBox ) import BasicTypes ( Arity, isMarkedStrict ) import Inst ( newMethodFromName, newIPDict, instToId, @@ -190,7 +190,7 @@ tcExpr (HsApp e1 e2) res_ty go :: LHsExpr Name -> [LHsExpr Name] -> TcM (HsExpr TcId) go (L _ (HsApp e1 e2)) args = go e1 (e2:args) go lfun@(L loc fun) args - = do { (fun', args') <- addErrCtxt (callCtxt lfun args) $ + = do { (fun', args') <- -- addErrCtxt (callCtxt lfun args) $ tcApp fun (length args) (tcArgs lfun args) res_ty ; return (unLoc (foldl mkHsApp (L loc fun') args')) }