Support io-classes-1.9.0.0

.github/workflows/haskell.yml

@@ -3,6 +3,10 @@ name: Haskell CI
 on:
   pull_request:
   merge_group:
+  push:
+    branches:
+      - main
+      - "release/*"
 
 jobs:
   build:
@@ -11,11 +15,11 @@ jobs:
     strategy:
       fail-fast: false
       matrix:
-        ghc: ["9.6", "9.8", "9.10", "9.12"]
+        ghc: ["9.6", "9.8", "9.10", "9.12", "9.14"]
         os: [ubuntu-latest, macos-latest, windows-latest]
 
     env:
-      CABAL_VERSION: "3.12.1.0"
+      CABAL_VERSION: "3.14.2.0"
 
     defaults:
       run:

cabal.project

@@ -1,14 +1,28 @@
-index-state: 2025-07-08T15:23:02Z
+index-state: 2026-02-18T08:48:29Z
 
 packages: ./typed-protocols
           ./typed-protocols-doc
 
 test-show-details: direct
 
-if impl(ghc >= 9.12)
+if impl(ghc >= 9.14)
   allow-newer:
+    , aeson:containers
+    , aeson:template-haskell
+    , cborg:base
+    , cborg:containers
+    , haddock-library:base
+    , indexed-traversable-instances:base
+    , indexed-traversable:base
+    , indexed-traversable:containers
+    , semialign:base
+    , semialign:containers
     , serdoc-core:template-haskell
     , serdoc-core:th-abstraction
+    , serialise:base
+    , serialise:containers
+    , these:base
+    , uuid-types:template-haskell
 
 allow-newer:
   , serdoc-core:QuickCheck

typed-protocols-doc/typed-protocols-doc.cabal

@@ -40,7 +40,7 @@ library
                  , base64-bytestring >=1.2.1.0 && <1.3
                  , blaze-html >=0.9.1.2 && <0.10
                  , bytestring >=0.11 && <0.13
-                 , containers >=0.6.8 && <0.8
+                 , containers >=0.6.8 && <0.9
                  , fgl >=5.7 && <5.9
                  , filepath >=1.4.2.2 && <1.6
                  , graphviz >=2999.20.1 && <2999.21.0

typed-protocols/examples/Network/TypedProtocol/Stateful/ReqResp/Codec.hs

@@ -36,8 +36,7 @@ codecReqResp encodeReq decodeReq encodeResp decodeResp =
     encode (StateBusy req) (MsgResp resp) = "MsgResp " ++ encodeResp req resp ++ "\n"
 
     decode :: forall (st :: ReqResp req).
-              ActiveState st
-           => StateToken st
+              StateToken st
            -> State st
            -> m (DecodeStep String CodecFailure m (SomeMessage st))
     decode stok state =

typed-protocols/typed-protocols.cabal

@@ -31,6 +31,11 @@ common GHC
                      -Wredundant-constraints
                      -Wunused-packages
 
+  -- In ghc-9.14 the `pattern` namespace specifier is deprecated.
+  if impl(ghc >=9.14)
+    ghc-options:
+      -Wno-pattern-namespace-specifier
+
 library
   import:             GHC
   exposed-modules:    Network.TypedProtocol
@@ -42,9 +47,9 @@ library
                     , Network.TypedProtocol.Driver
                     , Network.TypedProtocol.Proofs
   other-modules:      Network.TypedProtocol.Lemmas
-  build-depends:      base >=4.12 && <4.22,
+  build-depends:      base >=4.12 && <4.23,
                       deepseq,
-                      io-classes:io-classes ^>= 1.8,
+                      io-classes:io-classes ^>= 1.8 || ^>= 1.9,
                       singletons ^>= 3.0
   hs-source-dirs:     src
   default-extensions: DataKinds
@@ -56,7 +61,7 @@ library codec-properties
   exposed-modules:    Network.TypedProtocol.Codec.Properties
                       Network.TypedProtocol.Stateful.Codec.Properties
   other-modules:      Test.QuickCheck.Monoids.Compat
-  build-depends:      base >=4.12 && <4.22,
+  build-depends:      base >=4.12 && <4.23,
                       typed-protocols:{stateful, typed-protocols},
                       QuickCheck
   hs-source-dirs:     properties