ChasingBottoms 1.3.1.13 → 1.3.1.14
raw patch · 2 files changed
+7/−7 lines, 2 filesdep ~QuickCheckdep ~basePVP ok
version bump matches the API change (PVP)
Dependency ranges changed: QuickCheck, base
API changes (from Hackage documentation)
Files
ChasingBottoms.cabal view
@@ -1,5 +1,5 @@ name: ChasingBottoms-version: 1.3.1.13+version: 1.3.1.14 license: MIT license-file: LICENCE copyright: Copyright (c) Nils Anders Danielsson 2004-2022, 2024.@@ -124,10 +124,10 @@ GHC == 8.8.4, GHC == 8.10.5, GHC == 9.0.2,- GHC == 9.2.7,+ GHC == 9.2.8, GHC == 9.4.8,- GHC == 9.6.4,- GHC == 9.8.1+ GHC == 9.6.5,+ GHC == 9.8.2 cabal-version: >= 1.10 build-type: Simple @@ -153,7 +153,7 @@ if impl(ghc >= 7.4.1) ghc-options: -fpedantic-bottoms - build-depends: QuickCheck >= 2.10 && < 2.15,+ build-depends: QuickCheck >= 2.10 && < 2.16, mtl >= 2 && < 2.4, base >= 4.2 && < 4.20, containers >= 0.5 && < 0.8,@@ -189,7 +189,7 @@ if impl(ghc >= 7.4.1) ghc-options: -fpedantic-bottoms - build-depends: QuickCheck >= 2.10 && < 2.15,+ build-depends: QuickCheck >= 2.10 && < 2.16, mtl >= 2 && < 2.4, base >= 4.2 && < 4.20, containers >= 0.5 && < 0.8,
Test/ChasingBottoms/Nat/Tests.hs view
@@ -115,7 +115,7 @@ (m - n) + n == m prop_Nat_signum_abs (m :: Nat) = signum m * abs m == m-prop_Nat_signum_zero = (signum 0 :: Nat) == 0+prop_Nat_signum_zero = once ((signum 0 :: Nat) == 0) prop_Nat_fromInteger_plus m n = m >= 0 && n >= 0 ==>