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
1 changed file:
Changes:
| ... | ... | @@ -423,8 +423,7 @@ lintCoreBindings' cfg binds |
| 423 | 423 | ; checkL (null ext_dups) (dupExtVars ext_dups)
|
| 424 | 424 | |
| 425 | 425 | -- Typecheck the bindings
|
| 426 | - ; lintRecBindings TopLevel all_pairs $ \_ ->
|
|
| 427 | - return () }
|
|
| 426 | + ; lintRecBindings TopLevel all_pairs $ return () }
|
|
| 428 | 427 | where
|
| 429 | 428 | all_pairs = flattenBinds binds
|
| 430 | 429 | -- Put all the top-level binders in scope at the start
|
| ... | ... | @@ -2359,7 +2358,7 @@ lintCoercion co@(ForAllCo {}) |
| 2359 | 2358 | = do { mb_lk <- case kind_mco of
|
| 2360 | 2359 | MRefl -> return Nothing
|
| 2361 | 2360 | MCo kind_co -> Just <$> lintStarCoercion kind_co
|
| 2362 | - ; lintTyCoBndr tcv $
|
|
| 2361 | + ; lintTyCoBndr tcv $
|
|
| 2363 | 2362 | do { case mb_lk of
|
| 2364 | 2363 | Nothing -> return ()
|
| 2365 | 2364 | Just lk -> ensureEqTys (varType tcv) lk $
|
| ... | ... | @@ -2806,7 +2805,7 @@ lint_axiom ax@(CoAxiom { co_ax_tc = tc, co_ax_branches = branches |
| 2806 | 2805 | lint_branch :: TyCon -> CoAxBranch -> LintM ()
|
| 2807 | 2806 | lint_branch ax_tc (CoAxBranch { cab_tvs = tvs, cab_cvs = cvs
|
| 2808 | 2807 | , cab_lhs = lhs_args, cab_rhs = rhs })
|
| 2809 | - = lintBinders LambdaBind (tvs ++ cvs) $
|
|
| 2808 | + = lintBinders LambdaBind (tvs ++ cvs) $
|
|
| 2810 | 2809 | do { let lhs = mkTyConApp ax_tc lhs_args
|
| 2811 | 2810 | ; lintType lhs
|
| 2812 | 2811 | ; lintType rhs
|