io-classes-1.11, new release of typed-protocols

cabal.project

@@ -1,4 +1,4 @@
-index-state: 2026-04-15T07:49:33Z
+index-state: 2026-08-21T13:18:40Z
 
 packages: ./typed-protocols
           ./typed-protocols-doc

typed-protocols/CHANGELOG.md

@@ -1,15 +1,14 @@
 # Revision history for typed-protocols
 
-## next version
-
-### Breaking changes
+## 1.2.2.0 -- 2026-08-21
 
 ### Non-breaking changes
 
 * Repository moved to https://github.com/IntersectMBO/typed-protocols
 * Added `Lookahead`, a dual of `Pipelined`: a peer defers its sends to
   background `Sender`s and receives ahead (`AwaitLookahead` / `FlushSender`),
   with supporting proofs, drivers, and `Server` pattern synonyms.
+* Support `QuickCheck >= 2.18`, `io-classes-1.11`.
 
 ## 1.2.1.0 -- 2026-04-16
 

typed-protocols/test/Network/TypedProtocol/PingPong/Tests.hs

@@ -47,6 +47,11 @@ import Test.Tasty (TestTree, testGroup)
 import Test.Tasty.QuickCheck (testProperty)
 
 
+#if !MIN_VERSION_QuickCheck(2, 18, 0)
+withNumTests :: Testable prop => Int -> prop -> Property
+withNumTests = withMaxSuccess
+#endif
+
 --
 -- The list of all properties
 --
@@ -75,7 +80,7 @@ tests = testGroup "Network.TypedProtocol.PingPong"
     , testGroup "CBOR"
       [ testProperty "codec"           prop_codec_cbor_PingPong
       , testProperty "codec 2-splits"  prop_codec_cbor_splits2_PingPong
-      , testProperty "codec 3-splits"  $ withMaxSuccess 30 prop_codec_cbor_splits3_PingPong
+      , testProperty "codec 3-splits"  $ withNumTests 30 prop_codec_cbor_splits3_PingPong
       ]
     ]
   ]

typed-protocols/test/Network/TypedProtocol/ReqResp/Tests.hs

@@ -48,6 +48,11 @@ import Test.Tasty.QuickCheck (testProperty)
 import Text.Show.Functions ()
 
 
+#if !MIN_VERSION_QuickCheck(2, 18, 0)
+withNumTests :: Testable prop => Int -> prop -> Property
+withNumTests = withMaxSuccess
+#endif
+
 --
 -- The list of all properties
 --
@@ -75,11 +80,11 @@ tests = testGroup "Network.TypedProtocol.ReqResp"
   , testGroup "Codec"
     [ testProperty "codec"             prop_codec_ReqResp
     , testProperty "codec 2-splits"    prop_codec_splits2_ReqResp
-    , testProperty "codec 3-splits"    (withMaxSuccess 33 prop_codec_splits3_ReqResp)
+    , testProperty "codec 3-splits"    (withNumTests 33 prop_codec_splits3_ReqResp)
     , testGroup "CBOR"
       [ testProperty "codec"           prop_codec_cbor_ReqResp
       , testProperty "codec 2-splits"  prop_codec_cbor_splits2_ReqResp
-      , testProperty "codec 3-splits"  $ withMaxSuccess 30 prop_codec_cbor_splits3_ReqResp
+      , testProperty "codec 3-splits"  $ withNumTests 30 prop_codec_cbor_splits3_ReqResp
       ]
     ]
   , testGroup "AnnotatedCodec"
@@ -316,7 +321,7 @@ prop_channelLookahead_ST g n =
 --
 prop_channelLookahead_IOSimPOR :: (Int -> (Int, Int)) -> NonNegative Int -> Property
 prop_channelLookahead_IOSimPOR g (NonNegative n) =
-    withMaxSuccess 20 $
+    withNumTests 20 $
     exploreSimTrace id (prop_channelLookahead g (NonNegative (min n 6))) $ \_ tr ->
       case traceResult False tr of
         Left  failure -> counterexample (show failure) (property False)

typed-protocols/typed-protocols.cabal

@@ -1,6 +1,6 @@
 cabal-version:       3.4
 name:                typed-protocols
-version:             1.2.1.0
+version:             1.2.2.0
 synopsis:            A framework for strongly typed protocols
 description:         A robust session type framework which supports protocol pipelining.
                      Haddocks are published [here](https://intersectmbo.github.io/typed-protocols/)
@@ -55,7 +55,7 @@ library
   other-modules:      Network.TypedProtocol.Lemmas
   build-depends:      base >=4.12 && <4.23,
                       deepseq,
-                      io-classes:io-classes ^>= 1.8 || ^>= 1.9 || ^>= 1.10,
+                      io-classes:io-classes >=1.8 && <1.12 ,
                       singletons ^>= 3.0
   hs-source-dirs:     src
   default-extensions: DataKinds