[Git][ghc/ghc][wip/T25647] fix ppr

[Patrick (@soulomoon)]

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


Commits:
7dfaeefb by Patrick at 2025-03-13T10:28:01+08:00
fix ppr

- - - - -


1 changed file:

- compiler/GHC/Tc/TyCl.hs


Changes:

=====================================
compiler/GHC/Tc/TyCl.hs
=====================================
@@ -271,7 +271,8 @@ tcFamInstLHSBinders tclvl skol_info outer_bndrs hs_outer_bndrs wcs lhs_ty wanted
              -- the outer_tvs.  See Note [Generalising in tcTyFamInstEqnGuts]
        ; traceTc "tcFamInstLHSBinders" $
          vcat [
-              text "outer_bndrs:" <+> ppr outer_bndrs
+               text "lhs_ty:" <+> ppr lhs_ty
+              , text "outer_bndrs:" <+> ppr outer_bndrs
               , text "outer_imp_tvs:" <+> pprTyVars outer_imp_tvs
               , text "outer_exp_tvs:" <+> pprTyVars outer_exp_tvs
               , text "wcs:" <+> pprTyVars wcs
@@ -3503,7 +3504,7 @@ tcTyFamInstEqnGuts fam_tc mb_clsinfo outer_hs_bndrs hs_pats hs_rhs_ty
              -- so that any strange coercions inside lhs_ty
              -- have been solved before we attempt to unravel it
 
-       ; traceTc "tcTyFamInstEqnGuts }" (vcat [ ppr pats, ppr fam_tc, pprTyVars final_tvs ])
+       ; traceTc "tcTyFamInstEqnGuts }" (vcat [ ppr fam_tc, pprTyVars final_tvs ])
                  -- Don't try to print 'pats' here, because lhs_ty involves
                  -- a knot-tied type constructor, so we get a black hole
 



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

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