Simon Peyton Jones pushed to branch wip/T23162-spj at Glasgow Haskell Compiler / GHC
Commits:
-
42a53043
by Simon Peyton Jones at 2025-09-26T23:37:12+01:00
1 changed file:
Changes:
| ... | ... | @@ -1704,7 +1704,7 @@ canEqCanLHSHetero ev eq_rel swapped lhs1 ps_xi1 ki1 xi2 ps_xi2 ki2 |
| 1704 | 1704 | -- -- and there are no unifications, so we must have emitted one or
|
| 1705 | 1705 | -- -- more constraints
|
| 1706 | 1706 | |
| 1707 | - finish (rewriterSetFromCts eqs) kind_co }}
|
|
| 1707 | + ; finish (rewriterSetFromCts eqs) kind_co }}
|
|
| 1708 | 1708 | -- rewriterSetFromCts: record in the /type/ unification xi1~xi2 that
|
| 1709 | 1709 | -- it has been rewritten by any (unsolved) constraints in `cts`; that
|
| 1710 | 1710 | -- stops xi1~xi2 from unifying until `cts` are solved. See (EIK2).
|