quickcheck-dynamic 3.3.0 → 3.3.1

raw patch · 4 files changed

+9/−6 lines, 4 filesdep −tasty-test-reporter

Dependencies removed: tasty-test-reporter

Files

• CHANGELOG.md +4/−0
• quickcheck-dynamic.cabal +1/−2
• src/Test/QuickCheck/StateModel.hs +3/−2
• test/Spec.hs +1/−2

@@ -11,6 +11,10 @@  * Added some lightweight negative-shrinking based on a simple dependency analysis. +## 3.3.1++* Adapt code to _not_ constrain [mtl](https://hackage.haskell.org/package/mtl) version too much+ ## 3.3.0  * Added suppport for GHC 9.6.2 compiler

@@ -1,6 +1,6 @@ cabal-version:      2.2 name:               quickcheck-dynamic-version:            3.3.0+version:            3.3.1 license:            Apache-2.0 license-files:   LICENSE@@ -102,4 +102,3 @@     , stm     , tasty     , tasty-quickcheck-    , tasty-test-reporter

@@ -43,7 +43,7 @@ import Control.Monad.Identity import Control.Monad.Reader import Control.Monad.State-import Control.Monad.Writer (Endo (..), WriterT, runWriterT, tell)+import Control.Monad.Writer (WriterT, runWriterT, tell) import Data.Data import Data.Kind import Data.List@@ -54,6 +54,7 @@ import Test.QuickCheck.DynamicLogic.SmartShrinking import Test.QuickCheck.Monadic import Test.QuickCheck.StateModel.Variables+import Data.Monoid (Endo (..))  -- | The typeclass users implement to define a model against which to validate some implementation. --@@ -163,7 +164,7 @@ type instance Realized Identity a = a  newtype PostconditionM m a = PostconditionM {runPost :: WriterT (Endo Property, Endo Property) m a}-  deriving (Functor, Applicative, Monad, MonadTrans)+  deriving (Functor, Applicative, Monad)  -- | Apply the property transformation to the property after evaluating -- the postcondition. Useful for collecting statistics while avoiding

@@ -4,10 +4,9 @@  import Spec.DynamicLogic.RegistryModel qualified import Test.Tasty-import Test.Tasty.Runners.Reporter qualified as Reporter  main :: IO ()-main = defaultMainWithIngredients [Reporter.ingredient] tests+main = defaultMain tests  tests :: TestTree tests =