Simon Peyton Jones pushed to branch wip/T27844 at Glasgow Haskell Compiler / GHC Commits: 7efb4ae9 by Simon Peyton Jones at 2026-09-27T23:48:39+01:00 Switch off `do_not_prevent_rewriting` to see why it is useful - - - - - 1 changed file: - compiler/GHC/Tc/Solver/Equality.hs Changes: ===================================== compiler/GHC/Tc/Solver/Equality.hs ===================================== @@ -2291,6 +2291,7 @@ canEqCanLHSFinish_no_unification ev eq_rel swapped lhs rhs ; check_result <- checkTypeEq ev eq_rel lhs rhs ; case check_result of PuFail reason +{- | reason `cterHasOnlyProblems` do_not_prevent_rewriting -> do { new_ev <- rewriteEqEvidenceSwapOnly ev eq_rel swapped lhs rhs ; continueWith $ Right $ @@ -2298,6 +2299,7 @@ canEqCanLHSFinish_no_unification ev eq_rel swapped lhs rhs , eq_lhs = lhs , eq_rhs = rhs } } | otherwise +-} -> -- We can't unify, and this equality should not be used to rewrite -- other constraints (e.g. because it has an occurs check). -- So add it to the inert Irreds. View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/7efb4ae9f22d9b73266e2c2cfa750b9e... -- View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/7efb4ae9f22d9b73266e2c2cfa750b9e... You're receiving this email because of your account on gitlab.haskell.org. Manage all notifications: https://gitlab.haskell.org/-/profile/notifications | Help: https://gitlab.haskell.org/help