packages feed

tasty-dejafu 1.2.0.6 → 1.2.0.7

raw patch · 3 files changed

+20/−8 lines, 3 filesdep ~dejafuPVP: major bump suggested

API removals or changes: PVP suggests a major version bump

Dependency ranges changed: dejafu

API changes (from Hackage documentation)

- Test.Tasty.DejaFu: ProPredicate :: (Either Failure a -> Maybe Discard) -> ([(Either Failure a, Trace)] -> Result b) -> ProPredicate a b
+ Test.Tasty.DejaFu: ProPredicate :: Either Failure a -> Maybe Discard -> [(Either Failure a, Trace)] -> Result b -> ProPredicate a b
- Test.Tasty.DejaFu: Sig :: (x -> ConcIO s) -> (s -> x -> ConcIO o) -> (s -> x -> ConcIO ()) -> (s -> ConcIO ()) -> Sig s o x
+ Test.Tasty.DejaFu: Sig :: x -> ConcIO s -> s -> x -> ConcIO o -> s -> x -> ConcIO () -> s -> ConcIO () -> Sig s o x
- Test.Tasty.DejaFu: data ProPredicate a b :: * -> * -> *
+ Test.Tasty.DejaFu: data ProPredicate a b
- Test.Tasty.DejaFu: data RefinementProperty o x :: * -> * -> *
+ Test.Tasty.DejaFu: data RefinementProperty o x
- Test.Tasty.DejaFu: data Sig s o x :: * -> * -> * -> *
+ Test.Tasty.DejaFu: data Sig s o x

Files

CHANGELOG.rst view
@@ -7,6 +7,18 @@ .. _PVP: https://pvp.haskell.org/  +1.2.0.7 (2018-07-01)+--------------------++* Git: :tag:`tasty-dejafu-1.2.0.7`+* Hackage: :hackage:`tasty-dejafu-1.2.0.7`++Miscellaneous+~~~~~~~~~~~~~++* The upper bound on :hackage:`dejafu` is <1.12.++ 1.2.0.6 (2018-06-17) --------------------
Test/Tasty/DejaFu.hs view
@@ -148,7 +148,7 @@   => Way   -- ^ How to execute the concurrent program.   -> MemType-  -- ^ The memory model to use for non-synchronised @CRef@ operations.+  -- ^ The memory model to use for non-synchronised @IORef@ operations.   -> Conc.ConcIO a   -- ^ The computation to test.   -> TestTree@@ -190,7 +190,7 @@   => Way   -- ^ How to execute the concurrent program.   -> MemType-  -- ^ The memory model to use for non-synchronised @CRef@ operations.+  -- ^ The memory model to use for non-synchronised @IORef@ operations.   -> TestName   -- ^ The name of the test.   -> ProPredicate a b@@ -224,7 +224,7 @@   -> Way   -- ^ How to execute the concurrent program.   -> MemType-  -- ^ The memory model to use for non-synchronised @CRef@ operations.+  -- ^ The memory model to use for non-synchronised @IORef@ operations.   -> String   -- ^ The name of the test.   -> ProPredicate a b@@ -257,7 +257,7 @@   => Way   -- ^ How to execute the concurrent program.   -> MemType-  -- ^ The memory model to use for non-synchronised @CRef@ operations.+  -- ^ The memory model to use for non-synchronised @IORef@ operations.   -> [(TestName, ProPredicate a b)]   -- ^ The list of predicates (with names) to check.   -> Conc.ConcIO a@@ -288,7 +288,7 @@   -> Way   -- ^ How to execute the concurrent program.   -> MemType-  -- ^ The memory model to use for non-synchronised @CRef@ operations.+  -- ^ The memory model to use for non-synchronised @IORef@ operations.   -> [(TestName, ProPredicate a b)]   -- ^ The list of predicates (with names) to check.   -> Conc.ConcIO a
tasty-dejafu.cabal view
@@ -2,7 +2,7 @@ -- documentation, see http://haskell.org/cabal/users-guide/  name:                tasty-dejafu-version:             1.2.0.6+version:             1.2.0.7 synopsis:            Deja Fu support for the Tasty test framework.  description:@@ -30,14 +30,14 @@ source-repository this   type:     git   location: https://github.com/barrucadu/dejafu.git-  tag:      tasty-dejafu-1.2.0.6+  tag:      tasty-dejafu-1.2.0.7  library   exposed-modules:     Test.Tasty.DejaFu   -- other-modules:          -- other-extensions:       build-depends:       base   >=4.9  && <5-                     , dejafu >=1.5  && <1.11+                     , dejafu >=1.5  && <1.12                      , random >=1.0  && <1.2                      , tagged >=0.8  && <0.9                      , tasty  >=0.10 && <1.2