From 56622c1e2c0681e4b6510bc63fc6a15c0d1cf93f Mon Sep 17 00:00:00 2001 From: Phil de Joux Date: Mon, 18 Nov 2024 12:39:07 -0500 Subject: [PATCH] Add missing gtLowerBound to checks --- .../tests/UnitTests/Distribution/Solver/Modular/DSL.hs | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/cabal-install/tests/UnitTests/Distribution/Solver/Modular/DSL.hs b/cabal-install/tests/UnitTests/Distribution/Solver/Modular/DSL.hs index 6eb95bfee7c..332ebc3ba34 100644 --- a/cabal-install/tests/UnitTests/Distribution/Solver/Modular/DSL.hs +++ b/cabal-install/tests/UnitTests/Distribution/Solver/Modular/DSL.hs @@ -494,7 +494,8 @@ exAvSrcPkg ex = let checks = C.checkPackage (srcpkgDescription package) in filter (\x -> - not (isLeqUpperBound x) + not (isgtLowerBound x) + && not (isLeqUpperBound x) && not (isTrailingZeroUpperBound x) && not (isMissingUpperBound x) && not (isUnknownLangExt x)) @@ -729,6 +730,10 @@ exAvSrcPkg ex = 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]