diff options
-rw-r--r-- | compiler/GHC/Tc/Types/Constraint.hs | 7 |
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 -- |