diff options
| author | Simon Peyton Jones <simon.peytonjones@gmail.com> | 2023-05-09 00:42:24 +0100 |
|---|---|---|
| committer | Simon Peyton Jones <simon.peytonjones@gmail.com> | 2023-05-09 00:42:24 +0100 |
| commit | 8859a484019dd1674bf44b1458f11da30a12c169 (patch) | |
| tree | 08b0936e1ace3af9ec2ed0d44e39f8af61055f41 | |
| parent | 7ed9bfea3bc3f7174451b803eb0842617c522b19 (diff) | |
| download | haskell-8859a484019dd1674bf44b1458f11da30a12c169.tar.gz | |
Wibble2wip/T23070-pipeline-monad
| -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 -- |