ChasingBottoms 1.3.1.15 → 1.3.1.16
raw patch · 9 files changed
+20/−19 lines, 9 filesdep ~QuickCheckdep ~containersPVP: major bump suggested
API removals or changes: PVP suggests a major version bump
Dependency ranges changed: QuickCheck, containers
API changes (from Hackage documentation)
- Test.ChasingBottoms.ContinuousFunctions: type GenTransformer = forall a. Gen a -> Gen a
+ Test.ChasingBottoms.ContinuousFunctions: type GenTransformer = forall a. () => Gen a -> Gen a
- Test.ChasingBottoms.ContinuousFunctions: match :: forall a. Data a => MakePM a
+ Test.ChasingBottoms.ContinuousFunctions: match :: Data a => MakePM a
Files
- ChasingBottoms.cabal +12/−11
- Test/ChasingBottoms.hs +1/−1
- Test/ChasingBottoms/Approx.hs +1/−1
- Test/ChasingBottoms/ApproxShow.hs +1/−1
- Test/ChasingBottoms/IsBottom.hs +1/−1
- Test/ChasingBottoms/IsType.hs +1/−1
- Test/ChasingBottoms/Nat.hs +1/−1
- Test/ChasingBottoms/SemanticOrd.hs +1/−1
- Test/ChasingBottoms/TimeOut.hs +1/−1
ChasingBottoms.cabal view
@@ -1,8 +1,8 @@ name: ChasingBottoms-version: 1.3.1.15+version: 1.3.1.16 license: MIT license-file: LICENCE-copyright: Copyright (c) Nils Anders Danielsson 2004-2022, 2024.+copyright: Copyright (c) Nils Anders Danielsson 2004-2022, 2024-2025. author: Nils Anders Danielsson maintainer: http://www.cse.chalmers.se/~nad/ synopsis: For testing partial and infinite values.@@ -128,7 +128,8 @@ GHC == 9.4.8, GHC == 9.6.6, GHC == 9.8.2,- GHC == 9.10.1+ GHC == 9.10.2,+ GHC == 9.12.2 cabal-version: >= 1.10 build-type: Simple @@ -154,11 +155,11 @@ if impl(ghc >= 7.4.1) ghc-options: -fpedantic-bottoms - build-depends: QuickCheck >= 2.10 && < 2.16,+ build-depends: QuickCheck >= 2.10 && < 2.17, mtl >= 2 && < 2.4,- base >= 4.2 && < 4.21,- containers >= 0.5 && < 0.8,- random >= 1.0 && < 1.3,+ base >= 4.2 && < 4.22,+ containers >= 0.5 && < 0.9,+ random >= 1.0 && < 1.4, syb >= 0.1.0.2 && < 0.8 test-suite ChasingBottomsTestSuite@@ -190,10 +191,10 @@ if impl(ghc >= 7.4.1) ghc-options: -fpedantic-bottoms - build-depends: QuickCheck >= 2.10 && < 2.16,+ build-depends: QuickCheck >= 2.10 && < 2.17, mtl >= 2 && < 2.4,- base >= 4.2 && < 4.21,- containers >= 0.5 && < 0.8,- random >= 1.0 && < 1.3,+ base >= 4.2 && < 4.22,+ containers >= 0.5 && < 0.9,+ random >= 1.0 && < 1.4, syb >= 0.1.0.2 && < 0.8, array >= 0.3 && < 0.6
Test/ChasingBottoms.hs view
@@ -1,6 +1,6 @@ -- | -- Module : Test.ChasingBottoms--- Copyright : (c) Nils Anders Danielsson 2004-2022, 2024+-- Copyright : (c) Nils Anders Danielsson 2004-2022, 2024-2025 -- License : See the file LICENCE. -- -- Maintainer : http://www.cse.chalmers.se/~nad/
Test/ChasingBottoms/Approx.hs view
@@ -3,7 +3,7 @@ -- | -- Module : Test.ChasingBottoms.Approx--- Copyright : (c) Nils Anders Danielsson 2004-2022, 2024+-- Copyright : (c) Nils Anders Danielsson 2004-2022, 2024-2025 -- License : See the file LICENCE. -- -- Maintainer : http://www.cse.chalmers.se/~nad/
Test/ChasingBottoms/ApproxShow.hs view
@@ -3,7 +3,7 @@ -- | -- Module : Test.ChasingBottoms.ApproxShow--- Copyright : (c) Nils Anders Danielsson 2004-2022, 2024+-- Copyright : (c) Nils Anders Danielsson 2004-2022, 2024-2025 -- License : See the file LICENCE. -- -- Maintainer : http://www.cse.chalmers.se/~nad/
Test/ChasingBottoms/IsBottom.hs view
@@ -5,7 +5,7 @@ -- | -- Module : Test.ChasingBottoms.IsBottom--- Copyright : (c) Nils Anders Danielsson 2004-2022, 2024+-- Copyright : (c) Nils Anders Danielsson 2004-2022, 2024-2025 -- License : See the file LICENCE. -- -- Maintainer : http://www.cse.chalmers.se/~nad/
Test/ChasingBottoms/IsType.hs view
@@ -2,7 +2,7 @@ -- | -- Module : Test.ChasingBottoms.IsType--- Copyright : (c) Nils Anders Danielsson 2004-2022, 2024+-- Copyright : (c) Nils Anders Danielsson 2004-2022, 2024-2025 -- License : See the file LICENCE. -- -- Maintainer : http://www.cse.chalmers.se/~nad/
Test/ChasingBottoms/Nat.hs view
@@ -2,7 +2,7 @@ -- | -- Module : Test.ChasingBottoms.Nat--- Copyright : (c) Nils Anders Danielsson 2004-2022, 2024+-- Copyright : (c) Nils Anders Danielsson 2004-2022, 2024-2025 -- License : See the file LICENCE. -- -- Maintainer : http://www.cse.chalmers.se/~nad/
Test/ChasingBottoms/SemanticOrd.hs view
@@ -4,7 +4,7 @@ -- | -- Module : Test.ChasingBottoms.SemanticOrd--- Copyright : (c) Nils Anders Danielsson 2004-2022, 2024+-- Copyright : (c) Nils Anders Danielsson 2004-2022, 2024-2025 -- License : See the file LICENCE. -- -- Maintainer : http://www.cse.chalmers.se/~nad/
Test/ChasingBottoms/TimeOut.hs view
@@ -2,7 +2,7 @@ -- | -- Module : Test.ChasingBottoms.TimeOut--- Copyright : (c) Nils Anders Danielsson 2004-2022, 2024+-- Copyright : (c) Nils Anders Danielsson 2004-2022, 2024-2025 -- License : See the file LICENCE. -- -- Maintainer : http://www.cse.chalmers.se/~nad/