Add missing gtLowerBound to checks

haskell · Nov 18, 2024 · 56622c1 · 56622c1
1 parent ace1393
commit 56622c1
Showing 1 changed file with 6 additions and 1 deletion.
diff --git 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]