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 Fix - - - - - 1 changed file: - compiler/GHC/Tc/Solver/Equality.hs Changes: ===================================== compiler/GHC/Tc/Solver/Equality.hs ===================================== @@ -1704,7 +1704,7 @@ canEqCanLHSHetero ev eq_rel swapped lhs1 ps_xi1 ki1 xi2 ps_xi2 ki2 -- -- and there are no unifications, so we must have emitted one or -- -- more constraints - finish (rewriterSetFromCts eqs) kind_co }} + ; finish (rewriterSetFromCts eqs) kind_co }} -- rewriterSetFromCts: record in the /type/ unification xi1~xi2 that -- it has been rewritten by any (unsolved) constraints in `cts`; that -- stops xi1~xi2 from unifying until `cts` are solved. See (EIK2). View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/42a53043191f79c9b488d536761d528c... -- View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/42a53043191f79c9b488d536761d528c... You're receiving this email because of your account on gitlab.haskell.org.