Simon Peyton Jones pushed to branch wip/T26315 at Glasgow Haskell Compiler / GHC Commits: ad2a64fa by Simon Peyton Jones at 2025-08-20T01:05:48+01:00 wibble - - - - - 1 changed file: - compiler/GHC/Tc/Solver/Solve.hs Changes: ===================================== compiler/GHC/Tc/Solver/Solve.hs ===================================== @@ -1400,7 +1400,7 @@ wantedQciToImplic (QCI { qci_ev = CtWanted ev, qci_tvs = tvs, qci_theta = theta, -- Set the thing to prove to have a ScOrigin, so we are -- careful about its termination checks. -- See (QC-INV) in Note [Solving a Wanted forall-constraint] - ; newWantedEvVarNC loc' rewriters inst_pred } + ; newWantedNC loc' rewriters inst_pred } ; ev_binds_var <- TcS.newTcEvBinds ; new_imp <- wrapTcS TcM.newImplication View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/ad2a64fadd99988249df0e20a61cdb8d... -- View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/ad2a64fadd99988249df0e20a61cdb8d... You're receiving this email because of your account on gitlab.haskell.org.