summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--compiler/GHC/Tc/Types/Constraint.hs7
1 files changed, 0 insertions, 7 deletions
diff --git a/compiler/GHC/Tc/Types/Constraint.hs b/compiler/GHC/Tc/Types/Constraint.hs
index d613cc90f4..511ba87ed4 100644
--- a/compiler/GHC/Tc/Types/Constraint.hs
+++ b/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
--