ChasingBottoms 1.3.1.11 → 1.3.1.12
raw patch · 11 files changed
+25/−23 lines, 11 filesdep ~QuickCheckdep ~basedep ~containersPVP ok
version bump matches the API change (PVP)
Dependency ranges changed: QuickCheck, base, containers, mtl, random, syb
API changes (from Hackage documentation)
Files
- ChasingBottoms.cabal +14/−12
- LICENCE +1/−1
- Test/ChasingBottoms.hs +1/−1
- Test/ChasingBottoms/Approx.hs +1/−1
- Test/ChasingBottoms/ApproxShow.hs +1/−1
- Test/ChasingBottoms/ContinuousFunctions.hs +1/−1
- Test/ChasingBottoms/IsBottom.hs +1/−1
- Test/ChasingBottoms/IsType.hs +1/−1
- Test/ChasingBottoms/Nat.hs +2/−2
- 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.11+version: 1.3.1.12 license: MIT license-file: LICENCE-copyright: Copyright (c) Nils Anders Danielsson 2004-2021.+copyright: Copyright (c) Nils Anders Danielsson 2004-2022. author: Nils Anders Danielsson maintainer: http://www.cse.chalmers.se/~nad/ synopsis: For testing partial and infinite values.@@ -117,19 +117,15 @@ the rest requires @Data.Generics@; @isBottom@ only requires exceptions, though. category: Testing-tested-with: GHC == 7.0.4,- GHC == 7.4.2,- GHC == 7.6.3,- GHC == 7.8.4,- GHC == 7.10.3,- GHC == 8.0.2,+tested-with: GHC == 8.0.2, GHC == 8.2.2, GHC == 8.4.4, GHC == 8.6.5, GHC == 8.8.4, GHC == 8.10.5,- GHC == 9.0.1,- GHC == 9.2.1+ GHC == 9.0.2,+ GHC == 9.2.4,+ GHC == 9.4.1 cabal-version: >= 1.10 build-type: Simple @@ -152,9 +148,12 @@ default-language: Haskell2010 + if impl(ghc >= 7.4.1)+ ghc-options: -fpedantic-bottoms+ build-depends: QuickCheck >= 2.10 && < 2.15, mtl >= 2 && < 2.3,- base >= 4.2 && < 4.17,+ base >= 4.2 && < 4.18, containers >= 0.5 && < 0.7, random >= 1.0 && < 1.3, syb >= 0.1.0.2 && < 0.8@@ -185,9 +184,12 @@ default-language: Haskell2010 + if impl(ghc >= 7.4.1)+ ghc-options: -fpedantic-bottoms+ build-depends: QuickCheck >= 2.10 && < 2.15, mtl >= 2 && < 2.3,- base >= 4.2 && < 4.17,+ base >= 4.2 && < 4.18, containers >= 0.5 && < 0.7, random >= 1.0 && < 1.3, syb >= 0.1.0.2 && < 0.8,
LICENCE view
@@ -1,7 +1,7 @@ I have chosen to distribute this library under the MIT/Expat licence: --------------------------------------------------------------------- -Copyright (c) 2004-2021 Nils Anders Danielsson+Copyright (c) 2004-2022 Nils Anders Danielsson Permission is hereby granted, free of charge, to any person obtaining a copy of this software and associated documentation files (the
Test/ChasingBottoms.hs view
@@ -1,6 +1,6 @@ -- | -- Module : Test.ChasingBottoms--- Copyright : (c) Nils Anders Danielsson 2004-2021+-- Copyright : (c) Nils Anders Danielsson 2004-2022 -- 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-2021+-- Copyright : (c) Nils Anders Danielsson 2004-2022 -- 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-2021+-- Copyright : (c) Nils Anders Danielsson 2004-2022 -- License : See the file LICENCE. -- -- Maintainer : http://www.cse.chalmers.se/~nad/
Test/ChasingBottoms/ContinuousFunctions.hs view
@@ -12,7 +12,7 @@ -- | -- Module : Test.ChasingBottoms.ContinuousFunctions--- Copyright : (c) Nils Anders Danielsson 2005-2021+-- Copyright : (c) Nils Anders Danielsson 2005-2022 -- 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-2021+-- Copyright : (c) Nils Anders Danielsson 2004-2022 -- License : See the file LICENCE. -- -- Maintainer : http://www.cse.chalmers.se/~nad/
Test/ChasingBottoms/IsType.hs view
@@ -1,6 +1,6 @@ -- | -- Module : Test.ChasingBottoms.IsType--- Copyright : (c) Nils Anders Danielsson 2004-2021+-- Copyright : (c) Nils Anders Danielsson 2004-2022 -- 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-2021+-- Copyright : (c) Nils Anders Danielsson 2004-2022 -- License : See the file LICENCE. -- -- Maintainer : http://www.cse.chalmers.se/~nad/@@ -74,7 +74,7 @@ | otherwise = Nat i instance Real Nat where- toRational = (%1) . nat2int+ toRational = (% 1) . nat2int steal2 :: (Integer -> Integer -> (Integer, Integer)) -> Nat -> Nat -> (Nat, Nat)
Test/ChasingBottoms/SemanticOrd.hs view
@@ -4,7 +4,7 @@ -- | -- Module : Test.ChasingBottoms.SemanticOrd--- Copyright : (c) Nils Anders Danielsson 2004-2021+-- Copyright : (c) Nils Anders Danielsson 2004-2022 -- 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-2021+-- Copyright : (c) Nils Anders Danielsson 2004-2022 -- License : See the file LICENCE. -- -- Maintainer : http://www.cse.chalmers.se/~nad/