[Git][ghc/ghc][wip/T25647] fix double update

[Patrick (@soulomoon)]

Patrick pushed to branch wip/T25647 at Glasgow Haskell Compiler / GHC


Commits:
9dc41673 by Patrick at 2025-03-15T11:21:18+08:00
fix double update

- - - - -


1 changed file:

- compiler/GHC/Tc/Utils/TcMType.hs


Changes:

=====================================
compiler/GHC/Tc/Utils/TcMType.hs
=====================================
@@ -1405,7 +1405,7 @@ candidateQTyVarsWithBinders outer_exp_tvs outer_wcs_imp_tvs ty
   = do { kvs     <- candidateQTyVarsOfKinds (map tyVarKind bound_tvs)
        ; cur_lvl <- getTcLevel
        ; all_tvs <- collect_cand_qtvs ty False cur_lvl emptyVarSet kvs ty
-       ; return (all_tvs `delCandidates` outer_exp_tvs, all_tvs `intersectCandidates` outer_wcs_imp_tvs) }
+       ; return (all_tvs `delCandidates` bound_tvs, all_tvs `intersectCandidates` outer_wcs_imp_tvs) }
        where
           bound_tvs = outer_exp_tvs ++ outer_wcs_imp_tvs
 



View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/9dc4167358f44e7985d4d2d9da8436457e85704d

-- 
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/9dc4167358f44e7985d4d2d9da8436457e85704d
You're receiving this email because of your account on gitlab.haskell.org.


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-commits/attachments/20250314/8d9cc6ab/attachment.html>