tasty-dejafu 2.1.0.1 → 2.1.0.2
raw patch · 2 files changed
+56/−40 lines, 2 filesdep ~randomPVP: major bump suggested
API removals or changes: PVP suggests a major version bump
Dependency ranges changed: random
API changes (from Hackage documentation)
- Test.Tasty.DejaFu: class Listable a
+ Test.Tasty.DejaFu: class () => Listable a
- Test.Tasty.DejaFu: class Testable a where {
+ Test.Tasty.DejaFu: class () => Testable a where {
- Test.Tasty.DejaFu: data Basic
+ Test.Tasty.DejaFu: data () => Basic
- Test.Tasty.DejaFu: data Condition
+ Test.Tasty.DejaFu: data () => Condition
- Test.Tasty.DejaFu: data Invariant (n :: Type -> Type) a
+ Test.Tasty.DejaFu: data () => Invariant (n :: Type -> Type) a
- Test.Tasty.DejaFu: data ProPredicate a b
+ Test.Tasty.DejaFu: data () => ProPredicate a b
- Test.Tasty.DejaFu: data Program pty (n :: Type -> Type) a
+ Test.Tasty.DejaFu: data () => Program pty (n :: Type -> Type) a
- 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
- Test.Tasty.DejaFu: data WithSetup x
+ Test.Tasty.DejaFu: data () => WithSetup x
- Test.Tasty.DejaFu: data WithSetupAndTeardown x y
+ Test.Tasty.DejaFu: data () => WithSetupAndTeardown x y
Files
- CHANGELOG.rst +53/−37
- tasty-dejafu.cabal +3/−3
CHANGELOG.rst view
@@ -7,6 +7,18 @@ .. _PVP: https://pvp.haskell.org/ +2.1.0.2 (2025-01-06)+--------------------++* Git: :tag:`tasty-dejafu-2.1.0.2`+* Hackage: :hackage:`tasty-dejafu-2.1.0.2`++Miscellaneous+~~~~~~~~~~~~~++* The upper bound on :hackage:`random` is <1.4.++ 2.1.0.1 (2023-09-11) -------------------- @@ -158,44 +170,48 @@ ~~~~~ * Re-exports for the ``Program`` types and their constructors:- * ``Test.Tasty.DejaFu.Program``- * ``Test.Tasty.DejaFu.Basic``- * ``Test.Tasty.DejaFu.ConcT``- * ``Test.Tasty.DejaFu.ConcIO``- * ``Test.Tasty.DejaFu.WithSetup``- * ``Test.Tasty.DejaFu.WithSetupAndTeardown``- * ``Test.Tasty.DejaFu.withSetup``- * ``Test.Tasty.DejaFu.withTeardown``- * ``Test.Tasty.DejaFu.withSetupAndTeardown`` + * ``Test.Tasty.DejaFu.Program``+ * ``Test.Tasty.DejaFu.Basic``+ * ``Test.Tasty.DejaFu.ConcT``+ * ``Test.Tasty.DejaFu.ConcIO``+ * ``Test.Tasty.DejaFu.WithSetup``+ * ``Test.Tasty.DejaFu.WithSetupAndTeardown``+ * ``Test.Tasty.DejaFu.withSetup``+ * ``Test.Tasty.DejaFu.withTeardown``+ * ``Test.Tasty.DejaFu.withSetupAndTeardown``+ * Re-exports for the ``Invariant`` type and its functions:- * ``Test.Tasty.DejaFu.Invariant``- * ``Test.Tasty.DejaFu.registerInvariant``- * ``Test.Tasty.DejaFu.inspectIORef``- * ``Test.Tasty.DejaFu.inspectMVar``- * ``Test.Tasty.DejaFu.inspectTVar`` + * ``Test.Tasty.DejaFu.Invariant``+ * ``Test.Tasty.DejaFu.registerInvariant``+ * ``Test.Tasty.DejaFu.inspectIORef``+ * ``Test.Tasty.DejaFu.inspectMVar``+ * ``Test.Tasty.DejaFu.inspectTVar``+ Changed ~~~~~~~ * Functions which took a ``ConcIO`` now take a ``Program pty IO``:- * ``Test.Tasty.DejaFu.testAuto``- * ``Test.Tasty.DejaFu.testAutoWay``- * ``Test.Tasty.DejaFu.testAutoWithSettings``- * ``Test.Tasty.DejaFu.testDejafu``- * ``Test.Tasty.DejaFu.testDejafuWay``- * ``Test.Tasty.DejaFu.testDejafuWithSettings``- * ``Test.Tasty.DejaFu.testDejafus``- * ``Test.Tasty.DejaFu.testDejafusWay``- * ``Test.Tasty.DejaFu.testDejafusWithSettings`` + * ``Test.Tasty.DejaFu.testAuto``+ * ``Test.Tasty.DejaFu.testAutoWay``+ * ``Test.Tasty.DejaFu.testAutoWithSettings``+ * ``Test.Tasty.DejaFu.testDejafu``+ * ``Test.Tasty.DejaFu.testDejafuWay``+ * ``Test.Tasty.DejaFu.testDejafuWithSettings``+ * ``Test.Tasty.DejaFu.testDejafus``+ * ``Test.Tasty.DejaFu.testDejafusWay``+ * ``Test.Tasty.DejaFu.testDejafusWithSettings``+ Removed ~~~~~~~ * The deprecated functions:- * ``Test.Tasty.DejaFu.testDejafuDiscard``- * ``Test.Tasty.DejaFu.testDejafusDiscard`` + * ``Test.Tasty.DejaFu.testDejafuDiscard``+ * ``Test.Tasty.DejaFu.testDejafusDiscard``+ Miscellaneous ~~~~~~~~~~~~~ @@ -327,8 +343,8 @@ * GHC 7.10 support is dropped. Dependency lower bounds are: - * :hackage:`base`: 4.9- * :hackage:`dejafu`: 1.5+ * :hackage:`base`: 4.9+ * :hackage:`dejafu`: 1.5 * The upper bound on :hackage:`dejafu` is 1.6. @@ -368,9 +384,9 @@ * (:pull:`238`) Settings-based test functions: - * ``Test.Tasty.DejaFu.testAutoWithSettings``- * ``Test.Tasty.DejaFu.testDejafuWithSettings``- * ``Test.Tasty.DejaFu.testDejafusWithSettings``+ * ``Test.Tasty.DejaFu.testAutoWithSettings``+ * ``Test.Tasty.DejaFu.testDejafuWithSettings``+ * ``Test.Tasty.DejaFu.testDejafusWithSettings`` * (:pull:`238`) Re-export of ``Test.DejaFu.Settings``. @@ -611,8 +627,8 @@ * Orphan ``IsOption`` instance for ``Test.DejaFu.SCT.Way``. Command-line parameters are: - * "systematically": systematic testing with the default bounds- * "randomly": 100 executions with a fixed random seed+ * "systematically": systematic testing with the default bounds+ * "randomly": 100 executions with a fixed random seed Changed ~~~~~~~@@ -670,9 +686,9 @@ * Orphan ``IsOption`` instances for ``Test.DejaFu.SCT.Bounds`` and ``MemType``. Command-line parameters are: - * "sc": sequential consistency- * "tso": total store order- * "pso": partial store order+ * "sc": sequential consistency+ * "tso": total store order+ * "pso": partial store order * Re-export ``Test.DejaFu.SCT.Bounds``. @@ -687,8 +703,8 @@ * Git: :tag:`tasty-dejafu-0.1.1.0` -**Note:** this was misnumbered (it should have been 0.2.1.0) *and* was- never pushed to Hackage, whoops!+**Note:** this was misnumbered (it should have been 0.2.1.0) *and* was never+pushed to Hackage, whoops! Miscellaneous ~~~~~~~~~~~~~
tasty-dejafu.cabal view
@@ -2,7 +2,7 @@ -- documentation, see http://haskell.org/cabal/users-guide/ name: tasty-dejafu-version: 2.1.0.1+version: 2.1.0.2 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-2.1.0.1+ tag: tasty-dejafu-2.1.0.2 library exposed-modules: Test.Tasty.DejaFu@@ -38,7 +38,7 @@ -- other-extensions: build-depends: base >=4.9 && <5 , dejafu >=2.0 && <2.5- , random >=1.0 && <1.3+ , random >=1.0 && <1.4 , tagged >=0.8 && <0.9 , tasty >=0.10 && <1.6 -- hs-source-dirs: