ChasingBottoms 1.3.1.5 → 1.3.1.6
raw patch · 10 files changed
+15/−15 lines, 10 filesdep ~QuickCheckPVP: major bump suggested
API removals or changes: PVP suggests a major version bump
Dependency ranges changed: QuickCheck
API changes (from Hackage documentation)
- Test.ChasingBottoms.TimeOut: instance GHC.Exception.Exception Test.ChasingBottoms.TimeOut.Die
+ Test.ChasingBottoms.SemanticOrd: infix 4 >!
+ Test.ChasingBottoms.SemanticOrd: infix 5 \/!
+ Test.ChasingBottoms.SemanticOrd: infixl 5 /\!
+ Test.ChasingBottoms.TimeOut: instance GHC.Exception.Type.Exception Test.ChasingBottoms.TimeOut.Die
Files
- ChasingBottoms.cabal +6/−6
- 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 +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.5+version: 1.3.1.6 license: MIT license-file: LICENCE-copyright: Copyright (c) Nils Anders Danielsson 2004-2018.+copyright: Copyright (c) Nils Anders Danielsson 2004-2019. author: Nils Anders Danielsson maintainer: http://www.cse.chalmers.se/~nad/ synopsis: For testing partial and infinite values.@@ -124,8 +124,8 @@ GHC == 7.10.3, GHC == 8.0.2, GHC == 8.2.2,- GHC == 8.4.3,- GHC == 8.6.1+ GHC == 8.4.4,+ GHC == 8.6.5 cabal-version: >= 1.9.2 build-type: Simple @@ -146,7 +146,7 @@ other-modules: Test.ChasingBottoms.IsType - build-depends: QuickCheck >= 2.10 && < 2.13,+ build-depends: QuickCheck >= 2.10 && < 2.14, mtl >= 2 && < 2.3, base >= 4.2 && < 4.13, containers >= 0.5 && < 0.7,@@ -177,7 +177,7 @@ Test.ChasingBottoms.TimeOut Test.ChasingBottoms.TimeOut.Tests - build-depends: QuickCheck >= 2.10 && < 2.13,+ build-depends: QuickCheck >= 2.10 && < 2.14, mtl >= 2 && < 2.3, base >= 4.2 && < 4.13, containers >= 0.5 && < 0.7,
Test/ChasingBottoms.hs view
@@ -1,6 +1,6 @@ -- | -- Module : Test.ChasingBottoms--- Copyright : (c) Nils Anders Danielsson 2004-2018+-- Copyright : (c) Nils Anders Danielsson 2004-2019 -- 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-2018+-- Copyright : (c) Nils Anders Danielsson 2004-2019 -- 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-2018+-- Copyright : (c) Nils Anders Danielsson 2004-2019 -- 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-2018+-- Copyright : (c) Nils Anders Danielsson 2005-2019 -- 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-2018+-- Copyright : (c) Nils Anders Danielsson 2004-2019 -- 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-2018+-- Copyright : (c) Nils Anders Danielsson 2004-2019 -- 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-2018+-- Copyright : (c) Nils Anders Danielsson 2004-2019 -- 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-2018+-- Copyright : (c) Nils Anders Danielsson 2004-2019 -- 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-2018+-- Copyright : (c) Nils Anders Danielsson 2004-2019 -- License : See the file LICENCE. -- -- Maintainer : http://www.cse.chalmers.se/~nad/