From edf1712d060b35ea0736c24d60c62392371af451 Mon Sep 17 00:00:00 2001 From: Phil de Joux Date: Thu, 21 Nov 2024 09:57:57 -0500 Subject: [PATCH] Remove unit-test guards that aren't needed --- .../Distribution/Solver/Modular/DSL.hs | 17 +---------------- 1 file changed, 1 insertion(+), 16 deletions(-) diff --git a/cabal-install/tests/UnitTests/Distribution/Solver/Modular/DSL.hs b/cabal-install/tests/UnitTests/Distribution/Solver/Modular/DSL.hs index e7be12adb24..0781fd13d1e 100644 --- a/cabal-install/tests/UnitTests/Distribution/Solver/Modular/DSL.hs +++ b/cabal-install/tests/UnitTests/Distribution/Solver/Modular/DSL.hs @@ -494,10 +494,7 @@ exAvSrcPkg ex = let checks = C.checkPackage (srcpkgDescription package) in filter ( \x -> - not (isgtLowerBound x) - && not (isLeqUpperBound x) - && not (isTrailingZeroUpperBound x) - && not (isMissingUpperBound x) + not (isMissingUpperBound x) && not (isUnknownLangExt x) ) checks @@ -723,18 +720,6 @@ exAvSrcPkg ex = isMissingUpperBound pc = case C.explanation pc of C.MissingUpperBounds{} -> True _ -> False - isTrailingZeroUpperBound :: C.PackageCheck -> Bool - isTrailingZeroUpperBound pc = case C.explanation pc of - C.TrailingZeroUpperBounds{} -> True - _ -> False - isLeqUpperBound :: C.PackageCheck -> Bool - isLeqUpperBound pc = case C.explanation pc of - C.LEQUpperBounds{} -> True - _ -> False - isgtLowerBound :: C.PackageCheck -> Bool - isgtLowerBound pc = case C.explanation pc of - C.GTLowerBounds{} -> True - _ -> False mkSimpleVersion :: ExamplePkgVersion -> C.Version mkSimpleVersion n = C.mkVersion [n, 0, 0]