checkers 0.2.5 → 0.2.6

raw patch · 4 files changed

+4/−5 lines, 4 filesPVP ok

version bump matches the API change (PVP)

API changes (from Hackage documentation)

Files

checkers.cabal +1/−1
src/Control/Monad/Extensions.hs +1/−2
src/Test/QuickCheck/Bottoms.hs +1/−1
src/Test/QuickCheck/Later.hs +1/−1

checkers.cabal view

@@ -1,5 +1,5 @@ Name:                checkers-Version:             0.2.5+Version:             0.2.6 Cabal-Version:       >= 1.2 Synopsis:            Check properties on standard classes and data structures. Category:            Testing

src/Control/Monad/Extensions.hs view

@@ -1,7 +1,6 @@ module Control.Monad.Extensions (satisfiesM,if') where -import Control.Applicative-import Control.Monad+import Control.Applicative (Applicative,liftA3)  satisfiesM :: Monad m => (a -> Bool) -> m a -> m a satisfiesM p x = x >>= if' p return (const (satisfiesM p x))

src/Test/QuickCheck/Bottoms.hs view

@@ -28,7 +28,7 @@             -- This one can yield an exception "thread blocked indefinitely"             -- newEmptyMVar >>= takeMVar             -- sjanssen suggests this alternative:-            forever $ threadDelay maxBound+            _ <- forever $ threadDelay maxBound             -- forever's return type is (), though it could be fully             -- polymorphic.  Until it's fixed, I need the following line.             return undefined

src/Test/QuickCheck/Later.hs view

@@ -78,5 +78,5 @@ --  -- TODO: Remove when this module is moved into the unamb-test package. delayForever :: a-delayForever = unsafePerformIO $ do forever (threadDelay maxBound)+delayForever = unsafePerformIO $ do _ <- forever (threadDelay maxBound)                                     return undefined