[Git][ghc/ghc][wip/T22924] Simplify the decompose-newtype test further

[Simon Peyton Jones (@simonpj)]

Simon Peyton Jones pushed to branch wip/T22924 at Glasgow Haskell Compiler / GHC


Commits:
7b2a7e0d by Simon Peyton Jones at 2023-02-08T23:15:14+00:00
Simplify the decompose-newtype test further

- - - - -


1 changed file:

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


Changes:

=====================================
compiler/GHC/Tc/Solver/Canonical.hs
=====================================
@@ -1650,7 +1650,8 @@ canTyConApp rewritten ev eq_rel tc1 tys1 tc2 tys2
           -- Moreover isInjectiveTyCon is True for Representational
           --   for algebraic data types.  So we are down to newtypes
           --   and data families.
-          ctEvFlavour ev == Wanted && noGivenNewtypeReprEqs tc1 inerts)
+          ctEvFlavour ev == Wanted
+             -- COMMENTING OUT; see !22924:   && noGivenNewtypeReprEqs tc1 inerts)
              -- See Note [Decomposing newtype equalities] (EX2)
 
 {-



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

-- 
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/7b2a7e0d52f0814d8c8edf6e6c9caf080f4502f9
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/20230208/2df953d2/attachment.html>