I don't thing we want to add a call-context here; it just clutters the output

diff --git a/compiler/typecheck/TcExpr.lhs b/compiler/typecheck/TcExpr.lhs
index c26d74d..67fe7d2 100644 (file)
--- a/compiler/typecheck/TcExpr.lhs
+++ b/compiler/typecheck/TcExpr.lhs
@@ -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
     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')) }
 
                                tcApp fun (length args) (tcArgs lfun args) res_ty
             ; return (unLoc (foldl mkHsApp (L loc fun') args')) }