Simon Peyton Jones pushed to branch wip/T27078 at Glasgow Haskell Compiler / GHC Commits: e4baa453 by Simon Peyton Jones at 2026-04-02T08:49:13+01:00 Wibbles - - - - - 1 changed file: - compiler/GHC/Core/Lint.hs Changes: ===================================== compiler/GHC/Core/Lint.hs ===================================== @@ -423,8 +423,7 @@ lintCoreBindings' cfg binds ; checkL (null ext_dups) (dupExtVars ext_dups) -- Typecheck the bindings - ; lintRecBindings TopLevel all_pairs $ \_ -> - return () } + ; lintRecBindings TopLevel all_pairs $ return () } where all_pairs = flattenBinds binds -- Put all the top-level binders in scope at the start @@ -2359,7 +2358,7 @@ lintCoercion co@(ForAllCo {}) = do { mb_lk <- case kind_mco of MRefl -> return Nothing MCo kind_co -> Just <$> lintStarCoercion kind_co - ; lintTyCoBndr tcv $ + ; lintTyCoBndr tcv $ do { case mb_lk of Nothing -> return () Just lk -> ensureEqTys (varType tcv) lk $ @@ -2806,7 +2805,7 @@ lint_axiom ax@(CoAxiom { co_ax_tc = tc, co_ax_branches = branches lint_branch :: TyCon -> CoAxBranch -> LintM () lint_branch ax_tc (CoAxBranch { cab_tvs = tvs, cab_cvs = cvs , cab_lhs = lhs_args, cab_rhs = rhs }) - = lintBinders LambdaBind (tvs ++ cvs) $ + = lintBinders LambdaBind (tvs ++ cvs) $ do { let lhs = mkTyConApp ax_tc lhs_args ; lintType lhs ; lintType rhs View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/e4baa453015a7134d49da08309f37cff... -- View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/e4baa453015a7134d49da08309f37cff... You're receiving this email because of your account on gitlab.haskell.org.