checkers 0.1.3 → 0.1.4

raw patch · 3 files changed

+9/−8 lines, 3 filesdep ~QuickCheckPVP: major bump suggested

API removals or changes: PVP suggests a major version bump

Dependency ranges changed: QuickCheck

API changes (from Hackage documentation)

Files

• checkers.cabal +2/−2
• src/Test/QuickCheck/Checkers.hs +6/−5
• src/Test/QuickCheck/Classes.hs +1/−1

@@ -1,5 +1,5 @@ Name:                checkers-Version:             0.1.3+Version:             0.1.4 Cabal-Version:       >= 1.2 Synopsis:            Check properties on standard classes and data structures. Category:            Testing@@ -26,7 +26,7 @@ Library   hs-Source-Dirs:      src   Extensions:-  Build-Depends:       base, random, QuickCheck < 2.0, array >= 0.1+  Build-Depends:       base, random, QuickCheck, array >= 0.1   Exposed-Modules:                             Test.QuickCheck.Checkers                        Test.QuickCheck.Applicative

@@ -132,7 +132,7 @@ -- | Token 'Num' type for tests type NumT  = Int -- | Token 'Ord' type for tests-type OrdT  = Char+type OrdT  = Int -- Char -- randomR is broken on Char -- | Token uninteresting type for tests type T     = Char @@ -170,10 +170,11 @@ --   instance EqProp a where (=-=) = eq -- E.g., -instance         EqProp Bool      where (=-=) = eq-instance         EqProp Char      where (=-=) = eq-instance         EqProp Int       where (=-=) = eq-instance         EqProp Double    where (=-=) = eq+instance EqProp Bool   where (=-=) = eq+instance EqProp Char   where (=-=) = eq+instance EqProp Int    where (=-=) = eq+instance EqProp Float  where (=-=) = eq+instance EqProp Double where (=-=) = eq  -- Lists instance EqProp a => EqProp [a] where

@@ -90,7 +90,7 @@   ) =>   a -> TestBatch semanticOrd = const (first ("semantic " ++)-                      (ordMorphism (model:: a -> b)))+                      (ordMorphism (model :: a -> b)))   -- | Properties to check that the 'Monoid' 'a' satisfies the monoid