Apoorv Ingle pushed to branch wip/spj-apporv-Oct24 at Glasgow Haskell Compiler / GHC Commits: f42facf3 by Apoorv Ingle at 2025-11-25T17:36:39-06:00 hopefully fixes all the error messages - - - - - 2 changed files: - compiler/GHC/Tc/Gen/Expr.hs - compiler/GHC/Tc/Gen/Match.hs Changes: ===================================== compiler/GHC/Tc/Gen/Expr.hs ===================================== @@ -335,7 +335,7 @@ tcExpr e@(HsLit x lit) res_ty ; tcWrapResult e (HsLit x (convertLit lit)) lit_ty res_ty } tcExpr (HsPar x expr) res_ty - = do { expr' <- tcMonoLExpr expr res_ty + = do { expr' <- tcMonoLExprNC expr res_ty ; return (HsPar x expr') } tcExpr (HsPragE x prag expr) res_ty ===================================== compiler/GHC/Tc/Gen/Match.hs ===================================== @@ -42,7 +42,7 @@ import GHC.Prelude import {-# SOURCE #-} GHC.Tc.Gen.Expr( tcSyntaxOp, tcInferRho, tcInferRhoFRRNC , tcMonoLExprNC, tcMonoLExpr, tcExpr , tcCheckMonoExpr, tcCheckMonoExprNC - , tcCheckPolyExpr, tcPolyExpr ) + , tcCheckPolyExpr, tcPolyLExpr ) import GHC.Rename.Utils ( bindLocalNames ) import GHC.Tc.Errors.Types @@ -420,15 +420,10 @@ tcDoStmts mDoExpr ss@(L _ stmts) res_ty } tcBody :: LHsExpr GhcRn -> ExpRhoType -> TcM (LHsExpr GhcTc) -tcBody (L lspan e) res_ty - = L lspan <$> - do { traceTc "tcBody" (ppr res_ty) - ; setSrcSpanA lspan $ - addErrCtxt (ExprCtxt e) $ - -- We want the right hand side of a match or an equation - -- to always get printed in the error context - tcPolyExpr e res_ty - } +tcBody body res_ty + = do { traceTc "tcBody" (ppr res_ty) + ; tcPolyLExpr body res_ty + } {- ************************************************************************ View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/f42facf387a0ee107782baf225a9b6b9... -- View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/f42facf387a0ee107782baf225a9b6b9... You're receiving this email because of your account on gitlab.haskell.org.