[Git][ghc/ghc][wip/T23070-pipeline-monad] Wibble2

[Simon Peyton Jones (@simonpj)]

Simon Peyton Jones pushed to branch wip/T23070-pipeline-monad at Glasgow Haskell Compiler / GHC


Commits:
8859a484 by Simon Peyton Jones at 2023-05-09T00:42:24+01:00
Wibble2

- - - - -


1 changed file:

- compiler/GHC/Tc/Types/Constraint.hs


Changes:

=====================================
compiler/GHC/Tc/Types/Constraint.hs
=====================================
@@ -1307,13 +1307,6 @@ insolubleWantedCt ct = insolubleCt ct &&
                        not (arisesFromGivens ct) &&
                        not (isWantedWantedFunDepOrigin (ctOrigin ct))
 
-insolubleEqIrredCt :: IrredCt -> Bool
--- True of Irred constraints that are
---   a) definitely insoluble
---   b) not (TypeError msg)
-insolubleEqIrredCt (IrredCt { ir_reason = reason })
-  = isInsolubleReason reason
-
 insolubleIrredCt :: IrredCt -> Bool
 -- Returns True of Irred constraints that are /definitely/ insoluble
 --



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

-- 
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/8859a484019dd1674bf44b1458f11da30a12c169
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/20230508/11f2dc20/attachment.html>