[Git][ghc/ghc][wip/T25647] change DefaultingStrategy of tcTyFamInstEqnGuts as well

[Patrick (@soulomoon)]

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


Commits:
0f24af76 by Patrick at 2025-02-07T01:50:06+08:00
change DefaultingStrategy of tcTyFamInstEqnGuts as well

- - - - -


1 changed file:

- compiler/GHC/Tc/TyCl.hs


Changes:

=====================================
compiler/GHC/Tc/TyCl.hs
=====================================
@@ -3451,7 +3451,7 @@ tcTyFamInstEqnGuts fam_tc mb_clsinfo outer_hs_bndrs hs_pats hs_rhs_ty
 
        -- See Note [Generalising in tcTyFamInstEqnGuts]
        ; dvs  <- candidateQTyVarsWithBinders outer_tvs lhs_ty
-       ; qtvs <- quantifyTyVars skol_info TryNotToDefaultNonStandardTyVars dvs
+       ; qtvs <- quantifyTyVars skol_info DefaultNonStandardTyVars dvs
        ; let final_tvs = scopedSort (qtvs ++ outer_tvs)
              -- This scopedSort is important: the qtvs may be /interleaved/ with
              -- the outer_tvs.  See Note [Generalising in tcTyFamInstEqnGuts]



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

-- 
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/0f24af764b53cc2e99c8aac68bea812a8dafbfae
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/20250206/9089a8b5/attachment-0001.html>