packages feed

hunit-dejafu 1.2.0.5 → 1.2.0.6

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.HUnit.DejaFu: ProPredicate :: (Either Failure a -> Maybe Discard) -> ([(Either Failure a, Trace)] -> Result b) -> ProPredicate a b
+ Test.HUnit.DejaFu: ProPredicate :: Either Failure a -> Maybe Discard -> [(Either Failure a, Trace)] -> Result b -> ProPredicate a b
- Test.HUnit.DejaFu: Sig :: (x -> ConcIO s) -> (s -> x -> ConcIO o) -> (s -> x -> ConcIO ()) -> (s -> ConcIO ()) -> Sig s o x
+ Test.HUnit.DejaFu: Sig :: x -> ConcIO s -> s -> x -> ConcIO o -> s -> x -> ConcIO () -> s -> ConcIO () -> Sig s o x
- Test.HUnit.DejaFu: data ProPredicate a b :: * -> * -> *
+ Test.HUnit.DejaFu: data ProPredicate a b
- Test.HUnit.DejaFu: data RefinementProperty o x :: * -> * -> *
+ Test.HUnit.DejaFu: data RefinementProperty o x
- Test.HUnit.DejaFu: data Sig s o x :: * -> * -> * -> *
+ Test.HUnit.DejaFu: data Sig s o x

Files

CHANGELOG.rst view
@@ -7,6 +7,18 @@ .. _PVP: https://pvp.haskell.org/  +1.2.0.6 (2018-07-01)+--------------------++* Git: :tag:`hunit-dejafu-1.2.0.6`+* Hackage: :hackage:`hunit-dejafu-1.2.0.6`++Miscellaneous+~~~~~~~~~~~~~++* The upper bound on :hackage:`dejafu` is <1.12.++ 1.2.0.5 (2018-06-17) --------------------
Test/HUnit/DejaFu.hs view
@@ -115,7 +115,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.   -> Test@@ -157,7 +157,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@@ -191,7 +191,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@@ -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, ProPredicate a b)]   -- ^ The list of predicates (with names) to check.   -> Conc.ConcIO a@@ -255,7 +255,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, ProPredicate a b)]   -- ^ The list of predicates (with names) to check.   -> Conc.ConcIO a
hunit-dejafu.cabal view
@@ -2,7 +2,7 @@ -- documentation, see http://haskell.org/cabal/users-guide/  name:                hunit-dejafu-version:             1.2.0.5+version:             1.2.0.6 synopsis:            Deja Fu support for the HUnit test framework.  description:@@ -30,7 +30,7 @@ source-repository this   type:     git   location: https://github.com/barrucadu/dejafu.git-  tag:      hunit-dejafu-1.2.0.5+  tag:      hunit-dejafu-1.2.0.6  library   exposed-modules:     Test.HUnit.DejaFu@@ -38,7 +38,7 @@   -- other-extensions:       build-depends:       base       >=4.9 && <5                      , exceptions >=0.7 && <0.11-                     , dejafu     >=1.5 && <1.11+                     , dejafu     >=1.5 && <1.12                      , HUnit      >=1.3.1 && <1.7   -- hs-source-dirs:         default-language:    Haskell2010