io-classes-1.10.1.0

.github/workflows/haskell.yml

@@ -14,7 +14,7 @@ jobs:
     strategy:
       fail-fast: false
       matrix:
-        ghc: ["9.6.6", "9.8", "9.10", "9.12"]
+        ghc: ["9.6.6", "9.8", "9.10", "9.12", "9.14"]
         os: [ubuntu-latest, macos-latest, windows-latest]
 
     defaults:

cabal.project

@@ -11,3 +11,19 @@ package io-classes
 
 package strict-stm
   flags: +asserts
+
+if impl(ghc >= 9.14)
+  allow-newer: microstache:base
+             , microstache:containers
+             , binary-orphans:base
+             , aeson:template-haskell
+             , aeson:bytestring
+             , aeson:containers
+             , indexed-traversable:base
+             , indexed-traversable:containers
+             , indexed-traversable-instances:base
+             , uuid-types:template-haskell
+             , these:base
+             , semialign:base
+             , semialign:containers
+             , criterion:aeson

io-classes/CHANGELOG.md

@@ -6,6 +6,10 @@
 
 ### Non-breaking changes
 
+## 1.10.1.0
+
+### Non-breaking changes
+
 * Support `ghc-9.14`
 
 ## 1.10.0.0

io-classes/io-classes.cabal

@@ -1,6 +1,6 @@
 cabal-version:       3.4
 name:                io-classes
-version:             1.10.0.0
+version:             1.10.1.0
 synopsis:            Type classes for concurrency with STM, ST and timing
 description:
   IO Monad class hierarchy compatible with:
@@ -38,7 +38,7 @@ category:            Control
 build-type:          Simple
 extra-doc-files:     CHANGELOG.md README.md strict-stm/README.md strict-mvar/README.md
 bug-reports:         https://github.com/input-output-hk/io-sim/issues
-tested-with:         GHC == { 9.6, 9.8, 9.10, 9.12 }
+tested-with:         GHC == { 9.6, 9.8, 9.10, 9.12, 9.14 }
 
 source-repository head
   type:     git

io-sim/CHANGELOG.md

@@ -1,5 +1,16 @@
 # Revision history of io-sim
 
+## 1.10.1.0
+
+### Non-breaking changes
+
+* Added `IOSimPOR` `QuickCheck` combinators:
+  * `monadicIOSimPOR_`
+  * `monadicIOSimPOR`
+  * `runIOSimPORGen`
+* Support ghc-9.14
+* Support QuickCheck-2.18.0.0
+
 ## 1.10.0.0
 
 ### Breaking changes
@@ -23,7 +34,7 @@
   `EventLogEvaluationError`.
 * Added `Data.List.Trace.last`
 * Although `IOSim` and `IOSimPOR` are pure we use `evaluate` in a few places,
-  non of them now catch asynchrounous exceptions.
+  none of them now catch asynchronous exceptions.
 * Added `IOSimPOR` QuickCheck monadic combinators:
   `monadicIOSimPOR`, `monadicIOSimPOR_` and `runIOSimPORGen`.
 

io-sim/io-sim.cabal

@@ -1,6 +1,6 @@
 cabal-version:       3.4
 name:                io-sim
-version:             1.10.0.0
+version:             1.10.1.0
 synopsis:            A pure simulator for monadic concurrency with STM.
 description:
   A pure simulator monad with support of concurrency (base & async style), stm,
@@ -19,7 +19,7 @@ category:            Testing
 build-type:          Simple
 extra-doc-files:     CHANGELOG.md README.md
 bug-reports:         https://github.com/input-output-hk/io-sim/issues
-tested-with:         GHC == { 9.6, 9.8, 9.10, 9.12 }
+tested-with:         GHC == { 9.6, 9.8, 9.10, 9.12, 9.14 }
 
 flag asserts
   description: Enable assertions
@@ -112,6 +112,8 @@ test-suite test
                        -rtsopts
   if impl(ghc >= 9.8)
     ghc-options:       -Wno-x-partial
+  if impl(ghc >= 9.14)
+    ghc-options:       -Wno-incomplete-record-selectors
 
 benchmark bench
   import:              warnings

io-sim/test/Test/Control/Monad/IOSim.hs

@@ -56,9 +56,9 @@ tests :: TestTree
 tests =
   testGroup "IOSim"
   [ testProperty "read/write graph (IO)"    prop_stm_graph_io
-  , testProperty "read/write graph (IOSim)" (withMaxSuccess 1000 prop_stm_graph_sim)
+  , testProperty "read/write graph (IOSim)" (withNumTests 1000 prop_stm_graph_sim)
   , testGroup "timeouts"
-    [ testProperty "IOSim"                  (withMaxSuccess 1000 prop_timers_ST)
+    [ testProperty "IOSim"                  (withNumTests 1000 prop_timers_ST)
     -- fails since we just use `threadDelay` to schedule timers in `IO`.
     , testProperty "IO"                     (expectFailure prop_timers_IO)
     , testProperty "IOSim: no deadlock"     prop_timeout_no_deadlock_Sim
@@ -83,8 +83,8 @@ tests =
     [ testProperty "timeout: discardAfter"  unit_discardAfter
     , testProperty "timeout: within"        unit_within
     ]
-  , testProperty "threadId order (IOSim)"   (withMaxSuccess 1000 prop_threadId_order_order_Sim)
-  , testProperty "forkIO order (IOSim)"     (withMaxSuccess 1000 prop_fork_order_ST)
+  , testProperty "threadId order (IOSim)"   (withNumTests 1000 prop_threadId_order_order_Sim)
+  , testProperty "forkIO order (IOSim)"     (withNumTests 1000 prop_fork_order_ST)
   , testProperty "order (IO)"               (expectFailure prop_fork_order_IO)
   , testProperty "STM wakeup order"         prop_wakeup_order_ST
   , testGroup "throw/catch unit tests"

io-sim/test/Test/Control/Monad/IOSimPOR.hs

@@ -70,9 +70,9 @@ tests =
     -- , testProperty "propPermutations" propPermutations
     ]
   , testGroup "IO simulator properties"
-    [ testProperty "read/write graph (IOSim)" (withMaxSuccess 1000 prop_stm_graph_sim)
+    [ testProperty "read/write graph (IOSim)" (withNumTests 1000 prop_stm_graph_sim)
     , testGroup "timeouts"
-      [ testProperty "IOSim"                  (withMaxSuccess 1000 prop_timers_ST)
+      [ testProperty "IOSim"                  (withNumTests 1000 prop_timers_ST)
       , testProperty "IOSim: no deadlock"     prop_timeout_no_deadlock_Sim
       , testProperty "timeout"                prop_timeout
       , testProperty "timeouts"               prop_timeouts
@@ -86,8 +86,8 @@ tests =
         ]
       ]
     , testProperty "infinite simulation"      prop_explore_endless_simulation
-    , testProperty "threadId order (IOSim)"   (withMaxSuccess 1000 prop_threadId_order_order_Sim)
-    , testProperty "forkIO order (IOSim)"     (withMaxSuccess 1000 prop_fork_order_ST)
+    , testProperty "threadId order (IOSim)"   (withNumTests 1000 prop_threadId_order_order_Sim)
+    , testProperty "forkIO order (IOSim)"     (withNumTests 1000 prop_fork_order_ST)
     , testGroup "throw/catch unit tests"
       [ testProperty "0" unit_catch_0
       , testProperty "1" unit_catch_1

io-sim/test/Test/Control/Monad/Utils.hs

@@ -1,3 +1,4 @@
+{-# LANGUAGE CPP #-}
 module Test.Control.Monad.Utils where
 
 import Data.Array
@@ -18,6 +19,11 @@ import Test.Control.Monad.STM
 
 import Test.QuickCheck
 
+#if !MIN_VERSION_QuickCheck(2,18,0)
+withNumTests :: Testable prop => Int -> prop -> Property
+withNumTests = withMaxSuccess
+#endif
+
 --
 -- Read/Write graph
 --
@@ -489,7 +495,7 @@ forall_masking_states :: (MaskingState -> Property)
                       -> Property
 forall_masking_states prop =
     -- make sure that the property is executed once!
-    withMaxSuccess 1 $
+    withNumTests 1 $
     foldr (\ms p -> counterexample (show ms) (prop ms) .&&. p)
           (property True)
           [Unmasked, MaskedInterruptible, MaskedUninterruptible]