[Git][ghc/ghc][wip/T21623] Wibble

[Simon Peyton Jones (@simonpj)]

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


Commits:
4b0c02e3 by Simon Peyton Jones at 2022-08-16T12:47:38+01:00
Wibble

- - - - -


1 changed file:

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


Changes:

=====================================
compiler/GHC/Tc/Solver/Canonical.hs
=====================================
@@ -961,10 +961,9 @@ canEqNC ev eq_rel ty1 ty2
            Right ty              -> canEqReflexive ev eq_rel ty
            Left (Pair ty1' ty2') -> can_eq_nc False ev' eq_rel ty1' ty1' ty2' ty2'
              where
-                 ev' = ev
---               ev' | debugIsOn = setCtEvPredType ev $
---                                 mkPrimEqPredRole (eqRelRole eq_rel) ty1' ty2'
---                   | otherwise = ev
+               ev' | debugIsOn = setCtEvPredType ev $
+                                 mkPrimEqPredRole (eqRelRole eq_rel) ty1' ty2'
+                   | otherwise = ev
                    -- ev': satisfy the precondition of can_eq_nc
        }
 



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

-- 
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/4b0c02e3f2056ded8bd30ebff84b21924ef70450
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/20220816/582f4bda/attachment.html>