Update GHC to 9.10.3 and add conditional compilation for PlutusTx. (#311)

* Update nix flake to use GHC 9.10.3
* Update cardano-api and related dependencies
* Add CPP conditionals to exclude MatchingIndex tests on GHC 9.10+
  (PlutusTx.Plugin doesn't support GHC 9.10 yet)
* Fix DRep certificate registration test using key role coercion
* Update addCertificate to use lens-based approach

Author: koslambrou

.github/workflows/ci-linux.yaml

@@ -1,6 +1,7 @@
 name: ci-linux
 on:
   push:
+    branches: [ main ]
   pull_request:
 
 concurrency:
@@ -10,11 +11,19 @@ concurrency:
 jobs:
   build:
     runs-on: ubuntu-latest
+    strategy:
+      fail-fast: false
+      matrix:
+        ghc:
+          - version: "9.6"
+            devshell: "ghc966-nohoogle"
+          - version: "9.10"
+            devshell: "ghc9103-nohoogle"
+    name: build (GHC ${{ matrix.ghc.version }})
     env:
       NIX_CONFIG: accept-flake-config = true
     steps:
-      # install deps.
-      - name: install dependencies
+      - name: Install dependencies
         run: |
           sudo apt-get update
           sudo apt-get install -y libsystemd-dev
@@ -43,17 +52,17 @@ jobs:
         uses: actions/cache@v3
         with:
           path: ~/.cabal/store
-          key: cabal-${{ hashFiles('cabal.project') }}
+          key: cabal-${{ matrix.ghc.version }}-${{ hashFiles('cabal.project') }}
 
-      - name: Prepare dependencies and build environment
+      - name: Prepare build environment
         run: |
-          nix develop .#ghc966-nohoogle -c bash -lc 'ghc --version'
-          nix develop .#ghc966-nohoogle -c bash -lc 'cabal update'
+          nix develop .#${{ matrix.ghc.devshell }} -c bash -lc 'ghc --version'
+          nix develop .#${{ matrix.ghc.devshell }} -c bash -lc 'cabal update'
 
-      - name: Build
+      - name: Build project
         run: |
-          nix develop .#ghc966-nohoogle -c bash -lc 'cabal build --ghc-options=-Werror -j all'
+          nix develop .#${{ matrix.ghc.devshell }} -c bash -lc 'cabal build --ghc-options=-Werror -j all'
 
-      - name: Test
+      - name: Test project
         run: |
-          nix develop .#ghc966-nohoogle -c bash -lc 'cabal test --ghc-options=-Werror all'
+          nix develop .#${{ matrix.ghc.devshell }} -c bash -lc 'cabal test --ghc-options=-Werror all'

README.md

@@ -19,9 +19,12 @@ The `main` branch uses the following versions of its major dependencies:
 |Name|Version|
 |--|--|
 |`cardano-node`|[10.6.1](https://github.com/IntersectMBO/cardano-node/releases/tag/10.6.1)|
-|`cardano-api`|[10.21.0.0](https://chap.intersectmbo.org/package/cardano-api-10.21.0.0/)|
-|`ghc`|9.6.6|
-|`cabal`|3.10.3.0|
+|`cardano-api`|[10.23.0.0](https://chap.intersectmbo.org/package/cardano-api-10.23.0.0/)|
+|`ghc`|9.6.6 or 9.10.3|
+|`cabal`|3.10.3.0 or 3.16.1.0|
+
+For a dev environment with all dependencies, run `nix develop` (defaults to GHC 9.10.3).
+For GHC 9.6.6 specifically, run `nix develop .#ghc966`.
 
 ## Evaluating Transactions
 
@@ -84,7 +87,7 @@ class Monad m => MonadBlockchain m where
 ```
 
 Both operations can be performed efficiently by a Cardano node using `cardano-api`.
-There `MonadUtxoQuery` class has support for queries that can only be answered efficiently by 
+There `MonadUtxoQuery` class has support for queries that can only be answered efficiently by
 
 ## Testing
 

cabal.project

@@ -13,22 +13,21 @@ repository cardano-haskell-packages
     c00aae8461a256275598500ea0e187588c35a5d5d7454fb57eac18d9edb86a56
     d4a35cd3121aa00d18544bb0ac01c3e1691d618f462c46129271bccf39f7e8ee
 
--- We are bound to 9.6 because of plutus-tx-plugin
--- see https://github.com/IntersectMBO/plutus/issues/6892
--- We should probably replace it with plutarch or aiken
--- so that we can move on to a newer GHC.
-with-compiler: ghc-9.6.6
-
 index-state:
-  , hackage.haskell.org 2026-01-08T17:40:53Z
-  , cardano-haskell-packages 2026-01-08T17:40:53Z
+  , hackage.haskell.org 2026-02-09T00:00:00Z
+  , cardano-haskell-packages 2026-02-09T00:00:00Z
 
 -- You never, ever, want this.
 write-ghc-environment-files: never
 
 test-show-details: direct
 tests: True
 
+-- GHC 9.10.3 ships with containers 0.7, but some deps still require ^>= 0.6
+-- cardano-api 10.23.0.0 requires plutus-core/plutus-ledger-api ^>=1.57
+allow-newer:
+  maestro-sdk:containers
+
 packages:
   src/base
   src/blockfrost