[Git][ghc/ghc][wip/T22194-flags] Rename note

[Simon Peyton Jones (@simonpj)]

Simon Peyton Jones pushed to branch wip/T22194-flags at Glasgow Haskell Compiler / GHC


Commits:
9808cd38 by Simon Peyton Jones at 2023-03-25T13:04:03+00:00
Rename note

- - - - -


1 changed file:

- compiler/GHC/Tc/Solver/Equality.hs


Changes:

=====================================
compiler/GHC/Tc/Solver/Equality.hs
=====================================
@@ -1600,9 +1600,10 @@ canEqCanLHS2 ev eq_rel swapped lhs1 ps_xi1 lhs2 ps_xi2 mco
        ; let tvs1 = tyCoVarsOfTypes fun_args1
              tvs2 = tyCoVarsOfTypes fun_args2
 
+             -- See Note [Orienting TyFamLHS/TyFamLHS]
              swap_for_size = typesSize fun_args2 > typesSize fun_args1
-                 -- See Note [Put the larger type on the left]
 
+             -- See Note [Orienting TyFamLHS/TyFamLHS]
              swap_for_rewriting = anyVarSet (isTouchableMetaTyVar tclvl) tvs2 &&
                                   -- See Note [Put touchable variables on the left]
                                   not (anyVarSet (isTouchableMetaTyVar tclvl) tvs1)



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

-- 
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/9808cd3895ae203220998fb4fe307039a0887375
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/20230325/b0b2d7aa/attachment.html>