Compatibility with ghc-9.8

well-typed · Feb 17, 2024 · be2c441 · be2c441
1 parent ffb5cc4
commit be2c441
Show file tree

Hide file tree

Showing 4 changed files with 13 additions and 2 deletions.
diff --git a/.github/workflows/haskell-ci.yml b/.github/workflows/haskell-ci.yml
@@ -28,6 +28,11 @@ jobs:
     strategy:
       matrix:
         include:
+          - compiler: ghc-9.8.1
+            compilerKind: ghc
+            compilerVersion: 9.8.1
+            setup-method: ghcup
+            allow-failure: false
           - compiler: ghc-9.6.2
             compilerKind: ghc
             compilerVersion: 9.6.2

diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -1,5 +1,9 @@
 # Revision history for quickcheck-lockstep
 
+## next release
+
+* Add compatibility with ghc-9.8
+
 ## 0.3.0 -- 2023-10-17
 
 * BREAKING: Update `quickcheck-dynamic` dependency to `>=3.3`.

diff --git a/quickcheck-lockstep.cabal b/quickcheck-lockstep.cabal
@@ -13,7 +13,7 @@ description:        Lockstep-style testing is a particular approach for blackbox
                     APIs calls, then execute them both against the system under
                     test and against a model, and compare responses up to some
                     notion of observability.
-tested-with:        GHC ==8.10 || ==9.0 || ==9.2 || ==9.4 || ==9.6
+tested-with:        GHC ==8.10 || ==9.0 || ==9.2 || ==9.4 || ==9.6 || ==9.8
 
 source-repository head
   type:     git
@@ -59,7 +59,7 @@ library
       Test.QuickCheck.StateModel.Lockstep.GVar
   build-depends:
       -- quickcheck-dynamic requires ghc 8.10 minimum
-      base               >= 4.14   && < 4.19
+      base               >= 4.14   && < 4.20
     , constraints        >= 0.13   && < 0.14
     , mtl                >= 2.2    && < 2.4
     , containers         >= 0.6    && < 0.7

diff --git a/src/Test/QuickCheck/StateModel/Lockstep/Op.hs b/src/Test/QuickCheck/StateModel/Lockstep/Op.hs
@@ -1,3 +1,5 @@
+{-# LANGUAGE TypeOperators #-}
+
 module Test.QuickCheck.StateModel.Lockstep.Op (
     Operation(..)
   , InterpretOp(..)