From be2c44110db37f5c294d70cfc9e2743d1be61e10 Mon Sep 17 00:00:00 2001
From: Joris Dral <joris@well-typed.com>
Date: Sat, 17 Feb 2024 16:53:04 +0100
Subject: [PATCH] Compatibility with ghc-9.8

---
 .github/workflows/haskell-ci.yml              | 5 +++++
 CHANGELOG.md                                  | 4 ++++
 quickcheck-lockstep.cabal                     | 4 ++--
 src/Test/QuickCheck/StateModel/Lockstep/Op.hs | 2 ++
 4 files changed, 13 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/haskell-ci.yml b/.github/workflows/haskell-ci.yml
index e86e59b..391bb47 100644
--- 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
index 334fd3f..9b098dd 100644
--- 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
index 8bfd3c4..2890601 100644
--- 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
index 6300c20..9beb841 100644
--- 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(..)