[Git][ghc/ghc][wip/T25647] now we experiment default both wildcards and implicit binders

[Patrick (@soulomoon)]

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


Commits:
dc226dee by Patrick at 2025-03-14T15:55:59+08:00
now we experiment default both wildcards and implicit binders

- - - - -


1 changed file:

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


Changes:

=====================================
compiler/GHC/Tc/Utils/TcMType.hs
=====================================
@@ -1783,10 +1783,10 @@ quantifyTyVarsWithBinders skol_info dvs outer_wcs_imp_tvs
             text "outer_wc_imp_qtvs=" <+> ppr outer_wcs_imp_tvs
             ])
 
-       ; undefaulted <- defaultTyVars $ dvs `delCandidates` outer_wcs_imp_tvs
+       ; undefaulted <- defaultTyVars dvs
        ; final_qtvs  <- liftZonkM $ do
             -- resume order and then skolemise
-            qtvs <- mapMaybeM zonk_quant $ undefaulted ++ outer_wcs_imp_tvs
+            qtvs <- mapMaybeM zonk_quant undefaulted
             return qtvs
 
        ; traceTc "quantifyTyVars }"



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

-- 
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/dc226deea84021e3a41b1dffdd95da9442f401a5
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/c83dfbee/attachment-0001.html>