Release

barrucadu · Aug 10, 2017 · 4d05ef6 · 4d05ef6
1 parent 50712c5
commit 4d05ef6
Show file tree

Hide file tree

Showing 12 changed files with 46 additions and 34 deletions.
diff --git a/README.markdown b/README.markdown
@@ -44,9 +44,9 @@ Packages
 |     | Version | Intended Users | Summary |
 | --- | ------- | -------------- | ------- |
 | concurrency  [[docs][d:conc]]   [[hackage][h:conc]]   | 1.1.2.1 | Authors | Typeclasses, functions, and data types for concurrency and STM. |
-| dejafu       [[docs][d:dejafu]] [[hackage][h:dejafu]] | 0.7.0.2 | Testers | Systematic testing for Haskell concurrency. |
-| hunit-dejafu [[docs][d:hunit]]  [[hackage][h:hunit]]  | 0.6.0.0 | Testers | Deja Fu support for the HUnit test framework. |
-| tasty-dejafu [[docs][d:tasty]]  [[hackage][h:tasty]]  | 0.6.0.0 | Testers | Deja Fu support for the Tasty test framework. |
+| dejafu       [[docs][d:dejafu]] [[hackage][h:dejafu]] | 0.7.1.0 | Testers | Systematic testing for Haskell concurrency. |
+| hunit-dejafu [[docs][d:hunit]]  [[hackage][h:hunit]]  | 0.7.0.0 | Testers | Deja Fu support for the HUnit test framework. |
+| tasty-dejafu [[docs][d:tasty]]  [[hackage][h:tasty]]  | 0.7.0.0 | Testers | Deja Fu support for the Tasty test framework. |
 
 Each package has its own README and CHANGELOG in its subdirectory.
 

diff --git a/dejafu/CHANGELOG.markdown b/dejafu/CHANGELOG.markdown
@@ -6,8 +6,10 @@ All notable changes to this project will be documented in this file.
 This project is versioned according to the [Package Versioning Policy](https://pvp.haskell.org), the
 *de facto* standard Haskell versioning scheme.
 
-unreleased
-----------
+0.7.1.0 [2017-08-10] (git tag: [dejafu-0.7.1.0][])
+-------
+
+https://hackage.haskell.org/package/dejafu-0.7.1.0
 
 ### Test.DejaFu
 
@@ -32,6 +34,8 @@ unreleased
     - `resultsSet` and `resultsSet'` now discard traces as they are produced, rather than all at the
       end, greatly improving performance when traces are large.
 
+[dejafu-0.7.1.0]: https://github.com/barrucadu/dejafu/releases/tag/dejafu-0.7.1.0
+
 
 ---------------------------------------------------------------------------------------------------
 

diff --git a/dejafu/Test/DejaFu.hs b/dejafu/Test/DejaFu.hs
@@ -388,7 +388,7 @@ dejafuWay = dejafuDiscard (const Nothing)
 
 -- | Variant of 'dejafuWay' which can selectively discard results.
 --
--- @since unreleased
+-- @since 0.7.1.0
 dejafuDiscard :: Show a
   => (Either Failure a -> Maybe Discard)
   -- ^ Selectively discard results.
@@ -450,7 +450,7 @@ dejafuWayIO = dejafuDiscardIO (const Nothing)
 
 -- | Variant of 'dejafuDiscard' for computations which do 'IO'.
 --
--- @since unreleased
+-- @since 0.7.1.0
 dejafuDiscardIO :: Show a => (Either Failure a -> Maybe Discard) -> Way -> MemType -> ConcIO a -> (String, Predicate a) -> IO Bool
 dejafuDiscardIO discard way memtype concio (name, test) = do
   traces <- runSCTDiscard discard way memtype concio

diff --git a/dejafu/Test/DejaFu/Defaults.hs b/dejafu/Test/DejaFu/Defaults.hs
@@ -21,7 +21,7 @@ defaultWay = systematically defaultBounds
 
 -- | Do not discard any results.
 --
--- @since unreleased
+-- @since 0.7.1.0
 defaultDiscarder :: Either Failure a -> Maybe Discard
 defaultDiscarder = const Nothing
 

diff --git a/dejafu/Test/DejaFu/SCT.hs b/dejafu/Test/DejaFu/SCT.hs
@@ -232,7 +232,7 @@ resultsSet = resultsSetDiscard (const Nothing)
 -- | An @Either Failure a -> Maybe Discard@ value can be used to
 -- selectively discard results.
 --
--- @since unreleased
+-- @since 0.7.1.0
 data Discard
   = DiscardTrace
   -- ^ Discard the trace but keep the result.  The result will appear
@@ -247,7 +247,7 @@ instance NFData Discard where
 
 -- | A variant of 'runSCT' which can selectively discard results.
 --
--- @since unreleased
+-- @since 0.7.1.0
 runSCTDiscard :: MonadRef r n
   => (Either Failure a -> Maybe Discard)
   -- ^ Selectively discard results.
@@ -264,7 +264,7 @@ runSCTDiscard discard (Uniform  g lim)     memtype = sctUniformRandomDiscard  di
 
 -- | A variant of 'resultsSet' which can selectively discard results.
 --
--- @since unreleased
+-- @since 0.7.1.0
 resultsSetDiscard :: (MonadRef r n, Ord a)
   => (Either Failure a -> Maybe Discard)
   -- ^ Selectively discard results.  Traces are always discarded.
@@ -304,7 +304,7 @@ resultsSet' = resultsSetDiscard' (const Nothing)
 -- Demanding the result of this will force it to normal form, which
 -- may be more efficient in some situations.
 --
--- @since unreleased
+-- @since 0.7.1.0
 runSCTDiscard' :: (MonadRef r n, NFData a)
   => (Either Failure a -> Maybe Discard) -> Way -> MemType -> ConcT r n a -> n [(Either Failure a, Trace)]
 runSCTDiscard' discard way memtype conc = do
@@ -316,7 +316,7 @@ runSCTDiscard' discard way memtype conc = do
 -- Demanding the result of this will force it to normal form, which
 -- may be more efficient in some situations.
 --
--- @since unreleased
+-- @since 0.7.1.0
 resultsSetDiscard' :: (MonadRef r n, Ord a, NFData a)
   => (Either Failure a -> Maybe Discard) -> Way -> MemType -> ConcT r n a -> n (Set (Either Failure a))
 resultsSetDiscard' discard way memtype conc = do
@@ -478,7 +478,7 @@ sctBound = sctBoundDiscard (const Nothing)
 
 -- | A variant of 'sctBound' which can selectively discard results.
 --
--- @since unreleased
+-- @since 0.7.1.0
 sctBoundDiscard :: MonadRef r n
   => (Either Failure a -> Maybe Discard)
   -- ^ Selectively discard results.
@@ -543,7 +543,7 @@ sctUniformRandom = sctUniformRandomDiscard (const Nothing)
 -- | A variant of 'sctUniformRandom' which can selectively discard
 -- results.
 --
--- @since unreleased
+-- @since 0.7.1.0
 sctUniformRandomDiscard :: (MonadRef r n, RandomGen g)
   => (Either Failure a -> Maybe Discard)
   -- ^ Selectively discard results.
@@ -590,7 +590,7 @@ sctWeightedRandom = sctWeightedRandomDiscard (const Nothing)
 -- | A variant of 'sctWeightedRandom' which can selectively discard
 -- results.
 --
--- @since unreleased
+-- @since 0.7.1.0
 sctWeightedRandomDiscard :: (MonadRef r n, RandomGen g)
   => (Either Failure a -> Maybe Discard)
   -- ^ Selectively discard results.

diff --git a/dejafu/dejafu.cabal b/dejafu/dejafu.cabal
@@ -2,7 +2,7 @@
 -- documentation, see http://haskell.org/cabal/users-guide/
 
 name:                dejafu
-version:             0.7.0.2
+version:             0.7.1.0
 synopsis:            Systematic testing for Haskell concurrency.
 
 description:
@@ -37,7 +37,7 @@ source-repository head
 source-repository this
   type:     git
   location: https://github.com/barrucadu/dejafu.git
-  tag:      dejafu-0.7.0.2
+  tag:      dejafu-0.7.1.0
 
 library
   exposed-modules:     Test.DejaFu

diff --git a/hunit-dejafu/CHANGELOG.markdown b/hunit-dejafu/CHANGELOG.markdown
@@ -7,8 +7,10 @@ This project is versioned according to the [Package Versioning Policy](https://p
 *de facto* standard Haskell versioning scheme.
 
 
-unreleased
-----------
+0.7.0.0 [2017-08-10] (git tag: [hunit-dejafu-0.7.0.0][])
+-------
+
+https://hackage.haskell.org/package/hunit-dejafu-0.7.0.0
 
 ### Test.HUnit.DejaFu
 
@@ -18,7 +20,9 @@ unreleased
 
 ### Miscellaneous
 
-- Only dejafu UNRELEASED is supported.
+- Lower version bound on dejafu raised to 0.7.1.0.
+
+[hunit-dejafu-0.7.0.0]: https://github.com/barrucadu/dejafu/releases/tag/hunit-dejafu-0.7.0.0
 
 
 ---------------------------------------------------------------------------------------------------

diff --git a/hunit-dejafu/Test/HUnit/DejaFu.hs b/hunit-dejafu/Test/HUnit/DejaFu.hs
@@ -231,7 +231,7 @@ testDejafuWay = testDejafuDiscard (const Nothing)
 
 -- | Variant of 'testDejafuWay' which can selectively discard results.
 --
--- @since unreleased
+-- @since 0.7.0.0
 testDejafuDiscard :: Show a
   => (Either Failure a -> Maybe Discard)
   -- ^ Selectively discard results.
@@ -293,7 +293,7 @@ testDejafuWayIO = testDejafuDiscardIO (const Nothing)
 
 -- | Variant of 'testDejafuDiscard' for computations which do 'IO'.
 --
--- @since unreleased
+-- @since 0.7.0.0
 testDejafuDiscardIO :: Show a => (Either Failure a -> Maybe Discard) -> Way -> MemType -> Conc.ConcIO a -> String -> Predicate a -> Test
 testDejafuDiscardIO discard way memtype concio name test =
   testio discard way memtype concio [(name, test)]

diff --git a/hunit-dejafu/hunit-dejafu.cabal b/hunit-dejafu/hunit-dejafu.cabal
@@ -2,7 +2,7 @@
 -- documentation, see http://haskell.org/cabal/users-guide/
 
 name:                hunit-dejafu
-version:             0.6.0.0
+version:             0.7.0.0
 synopsis:            Deja Fu support for the HUnit test framework.
 
 description:
@@ -30,15 +30,15 @@ source-repository head
 source-repository this
   type:     git
   location: https://github.com/barrucadu/dejafu.git
-  tag:      hunit-dejafu-0.6.0.0
+  tag:      hunit-dejafu-0.7.0.0
 
 library
   exposed-modules:     Test.HUnit.DejaFu
   -- other-modules:       
   -- other-extensions:    
   build-depends:       base       >=4.8 && <5
                      , exceptions >=0.7 && <0.9
-                     , dejafu     >=0.7 && <0.8
+                     , dejafu     >=0.7.1 && <0.8
                      , HUnit      >=1.2 && <1.7
   -- hs-source-dirs:      
   default-language:    Haskell2010
diff --git a/tasty-dejafu/CHANGELOG.markdown b/tasty-dejafu/CHANGELOG.markdown
@@ -7,8 +7,10 @@ This project is versioned according to the [Package Versioning Policy](https://p
 *de facto* standard Haskell versioning scheme.
 
 
-unreleased
-----------
+0.7.0.0 [2017-08-10] (git tag: [tasty-dejafu-0.7.0.0][])
+-------
+
+https://hackage.haskell.org/package/tasty-dejafu-0.6.0.0
 
 ### Test.Tasty.DejaFu
 
@@ -18,7 +20,9 @@ unreleased
 
 ### Miscellaneous
 
-- Only dejafu UNRELEASED is supported.
+- Lower version bound on dejafu raised to 0.7.1.0.
+
+[tasty-dejafu-0.7.0.0]: https://github.com/barrucadu/dejafu/releases/tag/tasty-dejafu-0.7.0.0
 
 
 ---------------------------------------------------------------------------------------------------

diff --git a/tasty-dejafu/Test/Tasty/DejaFu.hs b/tasty-dejafu/Test/Tasty/DejaFu.hs
@@ -255,7 +255,7 @@ testDejafuWay = testDejafuDiscard (const Nothing)
 
 -- | Variant of 'testDejafuWay' which can selectively discard results.
 --
--- @since unreleased
+-- @since 0.7.0.0
 testDejafuDiscard :: Show a
   => (Either Failure a -> Maybe Discard)
   -- ^ Selectively discard results.
@@ -317,7 +317,7 @@ testDejafuWayIO = testDejafuDiscardIO (const Nothing)
 
 -- | Variant of 'testDejafuDiscard' for computations which do 'IO'.
 --
--- @since unreleased
+-- @since 0.7.0.0
 testDejafuDiscardIO :: Show a => (Either Failure a -> Maybe Discard) -> Way -> MemType -> Conc.ConcIO a -> String -> Predicate a -> TestTree
 testDejafuDiscardIO discard way memtype concio name test =
   testio discard way memtype concio [(name, test)]

diff --git a/tasty-dejafu/tasty-dejafu.cabal b/tasty-dejafu/tasty-dejafu.cabal
@@ -2,7 +2,7 @@
 -- documentation, see http://haskell.org/cabal/users-guide/
 
 name:                tasty-dejafu
-version:             0.6.0.0
+version:             0.7.0.0
 synopsis:            Deja Fu support for the Tasty test framework.
 
 description:
@@ -30,14 +30,14 @@ source-repository head
 source-repository this
   type:     git
   location: https://github.com/barrucadu/dejafu.git
-  tag:      tasty-dejafu-0.6.0.0
+  tag:      tasty-dejafu-0.7.0.0
 
 library
   exposed-modules:     Test.Tasty.DejaFu
   -- other-modules:       
   -- other-extensions:    
   build-depends:       base   >=4.8  && <5
-                     , dejafu >=0.7  && <0.8
+                     , dejafu >=0.7.1  && <0.8
                      , random >=1.0  && <1.2
                      , tagged >=0.8  && <0.9
                      , tasty  >=0.10 && <0.12