[Git][ghc/ghc][wip/T21623] Define eqType using tcEqType

[Simon Peyton Jones (@simonpj)]

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


Commits:
eaf04c17 by Simon Peyton Jones at 2022-10-25T19:57:16+01:00
Define eqType using tcEqType

A one-line change

- - - - -


1 changed file:

- compiler/GHC/Core/TyCo/Compare.hs


Changes:

=====================================
compiler/GHC/Core/TyCo/Compare.hs
=====================================
@@ -397,7 +397,8 @@ eqType :: Type -> Type -> Bool
 -- (The kind check is a recursive call, but since all kinds have type
 -- @Type@, there is no need to check the types of kinds.)
 -- See also Note [Non-trivial definitional equality] in "GHC.Core.TyCo.Rep".
-eqType t1 t2 = isEqual $ nonDetCmpType t1 t2
+-- eqType t1 t2 = isEqual $ nonDetCmpType t1 t2
+eqType t1 t2 = tcEqType t1 t2
   -- It's OK to use nonDetCmpType here and eqType is deterministic,
   -- nonDetCmpType does equality deterministically
 



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

-- 
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/eaf04c17c6a159ddb70eedd6fb8ab0b4fc180b7a
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/20221025/90b9257d/attachment.html>