packages feed

ChasingBottoms 1.3.0.1 → 1.3.0.2

raw patch · 1 files changed

+16/−12 lines, 1 filesdep ~basedep ~sybPVP: major bump suggested

API removals or changes: PVP suggests a major version bump

Dependency ranges changed: base, syb

API changes (from Hackage documentation)

- Test.ChasingBottoms.SemanticOrd: (/=!) :: SemanticEq a => a -> a -> Bool
- Test.ChasingBottoms.SemanticOrd: (<!) :: SemanticOrd a => a -> a -> Bool
- Test.ChasingBottoms.SemanticOrd: (<=!) :: SemanticOrd a => a -> a -> Bool
- Test.ChasingBottoms.SemanticOrd: (==!) :: SemanticEq a => a -> a -> Bool
- Test.ChasingBottoms.SemanticOrd: (>!) :: SemanticOrd a => a -> a -> Bool
- Test.ChasingBottoms.SemanticOrd: (>=!) :: SemanticOrd a => a -> a -> Bool
+ Test.ChasingBottoms.SemanticOrd: (<!, >!, >=!, <=!) :: SemanticOrd a => a -> a -> Bool
+ Test.ChasingBottoms.SemanticOrd: (==!, /=!) :: SemanticEq a => a -> a -> Bool

Files

ChasingBottoms.cabal view
@@ -1,5 +1,5 @@ name:               ChasingBottoms-version:            1.3.0.1+version:            1.3.0.2 license:            OtherLicense license-file:       LICENCE copyright:          Copyright (c) Nils Anders Danielsson 2004-2011.@@ -94,16 +94,20 @@   Verification in the Presence of Partial and Infinite Values\"   (<http://www.cse.chalmers.se/~nad/publications/danielsson-jansson-mpc2004.html>).   .-  The code has been tested under GHC 7.0. Most parts can probably be-  ported to other Haskell compilers, but that would require some work.-  The @TimeOut@ functions require preemptive scheduling, and most of the-  rest requires @Data.Generics@; @isBottom@ only requires exceptions,-  though.+  The code has been tested using GHC. Most parts can probably be+  ported to other Haskell compilers, but this would require some work.+  The @TimeOut@ functions require preemptive scheduling, and most of+  the rest requires @Data.Generics@; @isBottom@ only requires+  exceptions, though. category:           Testing-tested-with:        GHC == 7.0.1-cabal-version:      == 1.8.*+tested-with:        GHC == 7.2.1+cabal-version:      >= 1.8 build-type:         Simple +source-repository head+  type:     darcs+  location: http://www.cse.chalmers.se/~nad/repos/ChasingBottoms/+ library     exposed-modules:         Test.ChasingBottoms,@@ -119,10 +123,10 @@      build-depends: QuickCheck >= 2.1 && < 2.5,                    mtl >= 1.1 && < 2.1,-                   base >= 4.0 && < 4.4,+                   base >= 4.0 && < 4.5,                    containers >= 0.3 && < 0.5,                    random == 1.0.*,-                   syb >= 0.1.0.2 && < 0.3+                   syb >= 0.1.0.2 && < 0.4  flag build-tests     description: Build the test suite.@@ -148,8 +152,8 @@      build-depends: QuickCheck >= 2.1 && < 2.5,                    mtl >= 1.1 && < 2.1,-                   base >= 4.0 && < 4.4,+                   base >= 4.0 && < 4.5,                    containers >= 0.3 && < 0.5,                    random == 1.0.*,-                   syb >= 0.1.0.2 && < 0.3,+                   syb >= 0.1.0.2 && < 0.4,                    array == 0.3.*