dejafu 1.1.0.1 → 1.1.0.2

raw patch · 3 files changed

+20/−3 lines, 3 files

Files

• CHANGELOG.rst +14/−0
• Test/DejaFu/Conc.hs +4/−1
• dejafu.cabal +2/−2

@@ -7,6 +7,20 @@ .. _PVP: https://pvp.haskell.org/  +1.1.0.2 (2018-03-01)+--------------------++* Git: :tag:`dejafu-1.1.0.2`+* Hackage: :hackage:`dejafu-1.1.0.2`++Miscellaneous+~~~~~~~~~~~~~++* (:pull:`235`) The documentation for ``Test.DejaFu.Conc.dontCheck``+  and ``subconcurrency`` clarify that an illegal use does not+  necessarily cause a failing test.++ 1.1.0.1 (2018-02-26) -------------------- 

@@ -252,6 +252,8 @@ -- exist. Calls to 'subconcurrency' cannot be nested, or placed inside -- a call to 'dontCheck'. Violating either of these conditions will -- result in the computation failing with @IllegalSubconcurrency@.+-- The overall test-case can still succeed if the predicate allows for+-- a failing computation. -- -- @since 0.6.0.0 subconcurrency :: ConcT r n a -> ConcT r n (Either Failure a)@@ -282,7 +284,8 @@ -- -- This must be the first thing done in the main thread.  Violating -- this condition will result in the computation failing with--- @IllegalDontCheck@.+-- @IllegalDontCheck@.  The overall test-case can still succeed if the+-- predicate allows for a failing computation. -- -- If the action fails (deadlock, length bound exceeded, etc), the -- whole computation fails.

@@ -2,7 +2,7 @@ -- documentation, see http://haskell.org/cabal/users-guide/  name:                dejafu-version:             1.1.0.1+version:             1.1.0.2 synopsis:            A library for unit-testing concurrent programs.  description:@@ -33,7 +33,7 @@ source-repository this   type:     git   location: https://github.com/barrucadu/dejafu.git-  tag:      dejafu-1.1.0.1+  tag:      dejafu-1.1.0.2  library   exposed-modules:     Test.DejaFu