tasty-dejafu 1.0.0.1 → 1.0.1.0
raw patch · 3 files changed
+38/−2 lines, 3 filesPVP ok
version bump matches the API change (PVP)
API changes (from Hackage documentation)
+ Test.Tasty.DejaFu: testDejafusDiscard :: Show b => (Either Failure a -> Maybe Discard) -> Way -> MemType -> [(TestName, ProPredicate a b)] -> ConcIO a -> TestTree
Files
- CHANGELOG.markdown +17/−0
- Test/Tasty/DejaFu.hs +19/−0
- tasty-dejafu.cabal +2/−2
CHANGELOG.markdown view
@@ -7,6 +7,23 @@ *de facto* standard Haskell versioning scheme. +1.0.1.0+-------++- **Date** 2018-02-13+- **Git tag** [tasty-dejafu-1.0.1.0][]+- **Hackage** https://hackage.haskell.org/package/tasty-dejafu-1.0.1.0++### Test.Tasty.DejaFu++- New `testDejafusDiscard` function (#195).++[tasty-dejafu-1.0.1.0]: https://github.com/barrucadu/dejafu/releases/tag/tasty-dejafu-1.0.1.0+++---------------------------------------------------------------------------------------------------++ 1.0.0.1 -------
Test/Tasty/DejaFu.hs view
@@ -35,6 +35,7 @@ , testDejafusWay , testDejafuDiscard+ , testDejafusDiscard -- ** Re-exports , Predicate@@ -245,6 +246,24 @@ -- ^ The computation to test. -> TestTree testDejafusWay = testconc (const Nothing)++-- | Variant of 'testDejafusWay' which can selectively discard+-- results, beyond what each predicate already discards.+--+-- @since 1.0.1.0+testDejafusDiscard :: Show b+ => (Either Failure a -> Maybe Discard)+ -- ^ Selectively discard results.+ -> Way+ -- ^ How to execute the concurrent program.+ -> MemType+ -- ^ The memory model to use for non-synchronised @CRef@ operations.+ -> [(TestName, ProPredicate a b)]+ -- ^ The list of predicates (with names) to check.+ -> Conc.ConcIO a+ -- ^ The computation to test.+ -> TestTree+testDejafusDiscard = testconc -------------------------------------------------------------------------------
tasty-dejafu.cabal view
@@ -2,7 +2,7 @@ -- documentation, see http://haskell.org/cabal/users-guide/ name: tasty-dejafu-version: 1.0.0.1+version: 1.0.1.0 synopsis: Deja Fu support for the Tasty test framework. description:@@ -30,7 +30,7 @@ source-repository this type: git location: https://github.com/barrucadu/dejafu.git- tag: tasty-dejafu-1.0.0.1+ tag: tasty-dejafu-1.0.1.0 library exposed-modules: Test.Tasty.DejaFu