Update compiler to GHC 9.10.3

Support the latest version of HLS and match Agda

Author: nvarner

.github/workflows/test.yaml

@@ -34,8 +34,8 @@ jobs:
 
     - name: 🎛️ Determine which version of Agda to target
       run: |
-        STACK_YAML=$(echo stack-9.10.2-${{ matrix.agda }}.yaml)
-        STACK_YAML_ARG="--stack-yaml $(echo stack-9.10.2-${{ matrix.agda }}.yaml)"
+        STACK_YAML=$(echo stack-9.10.3-${{ matrix.agda }}.yaml)
+        STACK_YAML_ARG="--stack-yaml $(echo stack-9.10.3-${{ matrix.agda }}.yaml)"
 
         # Determine artifact naming based on branch/tag
         if [[ "${{ github.ref }}" == "refs/heads/dev" ]]; then

agda-language-server.cabal

@@ -1,6 +1,6 @@
 cabal-version: 1.12
 
--- This file has been generated from package.yaml by hpack version 0.37.0.
+-- This file has been generated from package.yaml by hpack version 0.38.1.
 --
 -- see: https://github.com/sol/hpack
 
@@ -22,9 +22,9 @@ extra-source-files:
     CHANGELOG.md
     package.yaml
     stack.yaml
-    stack-9.10.2-Agda-2.6.4.3.yaml
-    stack-9.10.2-Agda-2.7.0.1.yaml
-    stack-9.10.2-Agda-2.8.0.yaml
+    stack-9.10.3-Agda-2.6.4.3.yaml
+    stack-9.10.3-Agda-2.7.0.1.yaml
+    stack-9.10.3-Agda-2.8.0.yaml
 
 source-repository head
   type: git
@@ -186,6 +186,7 @@ test-suite als-test
   type: exitcode-stdio-1.0
   main-is: Test.hs
   other-modules:
+      Test.AgdaLibResolution
       Test.Indexer
       Test.Indexer.Invariants
       Test.Indexer.Invariants.NoDuplicateDecl

package.yaml

@@ -11,9 +11,9 @@ extra-source-files:
 - CHANGELOG.md
 - package.yaml
 - stack.yaml
-- stack-9.10.2-Agda-2.6.4.3.yaml
-- stack-9.10.2-Agda-2.7.0.1.yaml
-- stack-9.10.2-Agda-2.8.0.yaml
+- stack-9.10.3-Agda-2.6.4.3.yaml
+- stack-9.10.3-Agda-2.7.0.1.yaml
+- stack-9.10.3-Agda-2.8.0.yaml
 
 # Metadata used when publishing your package
 synopsis:            An implementation of language server protocal (LSP) for Agda 2.

stack-9.10.2-Agda-2.6.4.3.yaml renamed to stack-9.10.3-Agda-2.6.4.3.yaml

@@ -1,5 +1,5 @@
 resolver: lts-24.1
-compiler: ghc-9.10.2
+compiler: ghc-9.10.3
 # Allow a newer minor version of GHC than the snapshot specifies
 compiler-check: newer-minor
 

stack-9.10.2-Agda-2.6.4.3.yaml.lock renamed to stack-9.10.3-Agda-2.6.4.3.yaml.lock

@@ -1,5 +1,5 @@
 resolver: lts-24.1
-compiler: ghc-9.10.2
+compiler: ghc-9.10.3
 # Allow a newer minor version of GHC than the snapshot specifies
 compiler-check: newer-minor
 

stack-9.10.2-Agda-2.7.0.1.yaml renamed to stack-9.10.3-Agda-2.7.0.1.yaml

@@ -1,5 +1,5 @@
 resolver: lts-24.1
-compiler: ghc-9.10.2
+compiler: ghc-9.10.3
 # Allow a newer minor version of GHC than the snapshot specifies
 compiler-check: newer-minor
 

stack-9.10.2-Agda-2.7.0.1.yaml.lock renamed to stack-9.10.3-Agda-2.7.0.1.yaml.lock

@@ -1,5 +1,5 @@
 resolver: lts-24.1
-compiler: ghc-9.10.2
+compiler: ghc-9.10.3
 # Allow a newer minor version of GHC than the snapshot specifies
 compiler-check: newer-minor