dejafu 0.7.0.1 → 0.7.0.2

raw patch · 3 files changed

+28/−8 lines, 3 filesdep −monad-loopsPVP: major bump suggested

API removals or changes: PVP suggests a major version bump

Dependencies removed: monad-loops

API changes (from Hackage documentation)

Files

• CHANGELOG.markdown +21/−0
• Test/DejaFu/Refinement.hs +5/−5
• dejafu.cabal +2/−3

@@ -7,6 +7,27 @@ *de facto* standard Haskell versioning scheme.  +0.7.0.2 [2017-06-12] (git tag: [dejafu-0.7.0.2][])+-------++https://hackage.haskell.org/package/dejafu-0.7.0.2++### Test.DejaFu.Refinement++- Removed unnecessary typeclass constraints from `check`, `check'`, `checkFor`, and+  `counterExamples`.++### Miscellaneous++- Removed an unnecessary dependency on [monad-loops][].++[monad-loops]: https://hackage.haskell.org/package/monad-loops+[dejafu-0.7.0.2]: https://github.com/barrucadu/dejafu/releases/tag/dejafu-0.7.0.2+++---------------------------------------------------------------------------------------------------++ 0.7.0.1 [2017-06-09] (git tag: [dejafu-0.7.0.1][]) ------- 

@@ -108,7 +108,7 @@ import           Control.Arrow            (first) import           Control.Monad            (void) import           Control.Monad.Conc.Class (readMVar, spawn)-import           Data.Maybe               (isNothing, listToMaybe)+import           Data.Maybe               (isNothing) import           Data.Set                 (Set) import qualified Data.Set                 as S import           Test.LeanCheck           (Listable(..), concatMapT, mapT)@@ -274,7 +274,7 @@ -- variable assignments. -- -- @since 0.7.0.0-check :: (Testable p, Listable (X p), Eq (X p), Show (X p), Show (O p))+check :: (Testable p, Listable (X p), Show (X p), Show (O p))   => p   -- ^ The property to check.   -> IO Bool@@ -296,7 +296,7 @@ -- counterexample. -- -- @since 0.7.0.0-check' :: (Testable p, Listable (X p), Eq (X p), Show (X p), Show (O p))+check' :: (Testable p, Listable (X p))   => p   -- ^ The property to check.   -> IO (Maybe (FailedProperty (O p) (X p)))@@ -309,7 +309,7 @@ -- @listToMaybe@ composed with @counterExamples@. -- -- @since 0.7.0.0-checkFor :: (Testable p, Listable (X p), Eq (X p), Show (X p))+checkFor :: (Testable p, Listable (X p))   => Int   -- ^ Number of seed values per variable-assignment.   -> Int@@ -332,7 +332,7 @@ -- | Find all counterexamples up to a limit. -- -- @since 0.7.0.0-counterExamples :: (Testable p, Listable (X p), Eq (X p))+counterExamples :: (Testable p, Listable (X p))   => Int   -- ^ Number of seed values per variable-assignment.   -> Int

@@ -2,7 +2,7 @@ -- documentation, see http://haskell.org/cabal/users-guide/  name:                dejafu-version:             0.7.0.1+version:             0.7.0.2 synopsis:            Systematic testing for Haskell concurrency.  description:@@ -37,7 +37,7 @@ source-repository this   type:     git   location: https://github.com/barrucadu/dejafu.git-  tag:      dejafu-0.7.0.1+  tag:      dejafu-0.7.0.2  library   exposed-modules:     Test.DejaFu@@ -64,7 +64,6 @@                      , deepseq           >=1.1  && <2                      , exceptions        >=0.7  && <0.9                      , leancheck         >=0.6  && <0.7-                     , monad-loops       >=0.4  && <0.5                      , mtl               >=2.2  && <2.3                      , random            >=1.0  && <1.2                      , ref-fd            >=0.4  && <0.5