packages feed

ChasingBottoms 1.3.1.3 → 1.3.1.4

raw patch · 11 files changed

+16/−16 lines, 11 filesdep ~QuickCheckdep ~basePVP: major bump suggested

API removals or changes: PVP suggests a major version bump

Dependency ranges changed: QuickCheck, base

API changes (from Hackage documentation)

- Test.ChasingBottoms.ApproxShow: class ApproxShow a where approxShows n a = approxShowsPrec n 0 a approxShow n a = approxShowsPrec n 0 a ""
+ Test.ChasingBottoms.ApproxShow: class ApproxShow a
- Test.ChasingBottoms.SemanticOrd: class SemanticEq a where (/=!) = \ x y -> not (x ==! y) (==!) = semanticEq noTweak
+ Test.ChasingBottoms.SemanticOrd: class SemanticEq a
- Test.ChasingBottoms.SemanticOrd: class SemanticEq a => SemanticOrd a where (>=!) = flip (<=!) (<!) = \ x y -> x <=! y && x /=! y (>!) = \ x y -> x >=! y && x /=! y x <=! y = case semanticCompare noTweak x y of { Just LT -> True Just EQ -> True _ -> False } (\/!) = semanticJoin noTweak (/\!) = semanticMeet noTweak
+ Test.ChasingBottoms.SemanticOrd: class SemanticEq a => SemanticOrd a

Files

ChasingBottoms.cabal view
@@ -1,8 +1,8 @@ name:               ChasingBottoms-version:            1.3.1.3+version:            1.3.1.4 license:            MIT license-file:       LICENCE-copyright:          Copyright (c) Nils Anders Danielsson 2004-2017.+copyright:          Copyright (c) Nils Anders Danielsson 2004-2018. author:             Nils Anders Danielsson maintainer:         http://www.cse.chalmers.se/~nad/ synopsis:           For testing partial and infinite values.@@ -145,9 +145,9 @@      other-modules: Test.ChasingBottoms.IsType -    build-depends: QuickCheck >= 2.3 && < 2.11,+    build-depends: QuickCheck >= 2.3 && < 2.12,                    mtl >= 2 && < 2.3,-                   base >= 4.2 && < 4.11,+                   base >= 4.2 && < 4.12,                    containers >= 0.3 && < 0.6,                    random >= 1.0 && < 1.2,                    syb >= 0.1.0.2 && < 0.8@@ -176,9 +176,9 @@                    Test.ChasingBottoms.TimeOut                    Test.ChasingBottoms.TimeOut.Tests -    build-depends: QuickCheck >= 2.3 && < 2.11,+    build-depends: QuickCheck >= 2.3 && < 2.12,                    mtl >= 2 && < 2.3,-                   base >= 4.2 && < 4.11,+                   base >= 4.2 && < 4.12,                    containers >= 0.3 && < 0.6,                    random >= 1.0 && < 1.2,                    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-2017 Nils Anders Danielsson+Copyright (c) 2004-2018 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-2017+-- Copyright   :  (c) Nils Anders Danielsson 2004-2018 -- 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-2017+-- Copyright   :  (c) Nils Anders Danielsson 2004-2018 -- 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-2017+-- Copyright   :  (c) Nils Anders Danielsson 2004-2018 -- 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-2017+-- Copyright   :  (c) Nils Anders Danielsson 2005-2018 -- 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-2017+-- Copyright   :  (c) Nils Anders Danielsson 2004-2018 -- 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-2017+-- Copyright   :  (c) Nils Anders Danielsson 2004-2018 -- 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-2017+-- Copyright   :  (c) Nils Anders Danielsson 2004-2018 -- 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-2017+-- Copyright   :  (c) Nils Anders Danielsson 2004-2018 -- 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-2017+-- Copyright   :  (c) Nils Anders Danielsson 2004-2018 -- License     :  See the file LICENCE. -- -- Maintainer  :  http://www.cse.chalmers.se/~nad/