Skip to content

Commit de3a302

Browse files
banacornbanacorn
committed
[ change ] Deprecate Agda-2.6.3 because it does not build with GHC 9.10.2
1 parent 4bd3b5a commit de3a302

File tree

9 files changed

+19
-145
lines changed

9 files changed

+19
-145
lines changed

‎.github/workflows/test.yaml‎

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -20,7 +20,7 @@ jobs:
2020
strategy:
2121
matrix:
2222
os: [windows-latest, ubuntu-latest, macos-latest, macos-13]
23-
agda: ['Agda-2.7.0.1', 'Agda-2.6.4.3', 'Agda-2.6.3']
23+
agda: ['Agda-2.7.0.1', 'Agda-2.6.4.3']
2424
fail-fast: false
2525
steps:
2626

@@ -33,8 +33,8 @@ jobs:
3333

3434
- name: 🎛️ Determine which version of Agda to target
3535
run: |
36-
STACK_YAML=$(echo stack-9.2-${{ matrix.agda }}.yaml)
37-
STACK_YAML_ARG="--stack-yaml $(echo stack-9.2-${{ matrix.agda }}.yaml)"
36+
STACK_YAML=$(echo stack-9.10.2-${{ matrix.agda }}.yaml)
37+
STACK_YAML_ARG="--stack-yaml $(echo stack-9.10.2-${{ matrix.agda }}.yaml)"
3838
3939
if [[ ${{ matrix.os }} == "ubuntu-latest" ]]; then
4040
ARTEFACT="als-${{ matrix.agda }}-ubuntu"

‎agda-language-server.cabal‎

Lines changed: 2 additions & 17 deletions
Original file line numberDiff line numberDiff line change
@@ -22,19 +22,13 @@ extra-source-files:
2222
CHANGELOG.md
2323
package.yaml
2424
stack.yaml
25-
stack-9.2-Agda-2.6.3.yaml
26-
stack-9.2-Agda-2.6.4.3.yaml
27-
stack-9.2-Agda-2.7.0.1.yaml
25+
stack-9.10.2-Agda-2.6.4.3.yaml
26+
stack-9.10.2-Agda-2.7.0.1.yaml
2827

2928
source-repository head
3029
type: git
3130
location: https://github.com/banacorn/agda-language-server
3231

33-
flag Agda-2-6-3
34-
description: Embed Agda-2.6.3
35-
manual: True
36-
default: False
37-
3832
flag Agda-2-6-4-3
3933
description: Embed Agda-2.6.4.3
4034
manual: True
@@ -101,9 +95,6 @@ library
10195
, strict
10296
, text
10397
default-language: Haskell2010
104-
if flag(Agda-2-6-3)
105-
build-depends:
106-
Agda ==2.6.3
10798
if flag(Agda-2-6-4-3)
10899
build-depends:
109100
Agda ==2.6.4.3
@@ -148,9 +139,6 @@ executable als
148139
, strict
149140
, text
150141
default-language: Haskell2010
151-
if flag(Agda-2-6-3)
152-
build-depends:
153-
Agda ==2.6.3
154142
if flag(Agda-2-6-4-3)
155143
build-depends:
156144
Agda ==2.6.4.3
@@ -228,9 +216,6 @@ test-suite als-test
228216
, tasty-quickcheck
229217
, text
230218
default-language: Haskell2010
231-
if flag(Agda-2-6-3)
232-
build-depends:
233-
Agda ==2.6.3
234219
if flag(Agda-2-6-4-3)
235220
build-depends:
236221
Agda ==2.6.4.3

‎package.yaml‎

Lines changed: 2 additions & 10 deletions
Original file line numberDiff line numberDiff line change
@@ -11,9 +11,8 @@ extra-source-files:
1111
- CHANGELOG.md
1212
- package.yaml
1313
- stack.yaml
14-
- stack-9.2-Agda-2.6.3.yaml
15-
- stack-9.2-Agda-2.6.4.3.yaml
16-
- stack-9.2-Agda-2.7.0.1.yaml
14+
- stack-9.10.2-Agda-2.6.4.3.yaml
15+
- stack-9.10.2-Agda-2.7.0.1.yaml
1716

1817
# Metadata used when publishing your package
1918
synopsis: An implementation of language server protocal (LSP) for Agda 2.
@@ -25,10 +24,6 @@ category: Development
2524
description: Please see the README on GitHub at <https://github.com/agda/agda-language-server#readme>
2625

2726
flags:
28-
Agda-2-6-3:
29-
description: Embed Agda-2.6.3
30-
manual: true
31-
default: false
3227
Agda-2-6-4-3:
3328
description: Embed Agda-2.6.4.3
3429
manual: true
@@ -39,9 +34,6 @@ flags:
3934
default: false
4035

4136
when:
42-
- condition: "flag(Agda-2-6-3)"
43-
dependencies:
44-
- Agda == 2.6.3
4537
- condition: "flag(Agda-2-6-4-3)"
4638
dependencies:
4739
- Agda == 2.6.4.3

‎stack-9.10.2-Agda-2.6.4.3.yaml‎

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -12,6 +12,8 @@ extra-deps:
1212
- network-simple-0.4.2@sha256:3614a0b7e51bcafb5643c3dc3a3a89d20a99671998c8814eb6fc55fa99e38444,1375
1313

1414
flags:
15+
agda-language-server:
16+
Agda-2-6-4-3: true
1517
Agda:
1618
# optimise-heavily: true
1719
enable-cluster-counting: true

‎stack-9.10.2-Agda-2.7.0.1.yaml‎

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -11,6 +11,8 @@ extra-deps:
1111
- network-simple-0.4.2@sha256:3614a0b7e51bcafb5643c3dc3a3a89d20a99671998c8814eb6fc55fa99e38444,1375
1212

1313
flags:
14+
agda-language-server:
15+
Agda-2-7-0-1: true
1416
Agda:
1517
# optimise-heavily: true
1618
enable-cluster-counting: true

‎stack-9.2-Agda-2.6.3.yaml‎

Lines changed: 0 additions & 22 deletions
This file was deleted.

‎stack-9.2-Agda-2.6.3.yaml.lock‎

Lines changed: 0 additions & 47 deletions
This file was deleted.

‎stack.yaml‎

Lines changed: 4 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
1-
resolver: lts-20.26
2-
compiler: ghc-9.2.8
1+
resolver: lts-24.1
2+
compiler: ghc-9.10.2
33
# Allow a newer minor version of GHC than the snapshot specifies
44
compiler-check: newer-minor
55

@@ -8,14 +8,11 @@ packages:
88

99
extra-deps:
1010
- Agda-2.7.0.1
11-
- lsp-2.7.0.0@sha256:2a64b40a69fd9638056ca552d5660203019473061cff1d09dccc0c94e40a275c,3834
12-
- lsp-types-2.3.0.0@sha256:ca17a686bda5dc7ff04105ca7081dce5a90bcd050c8800a13efd68b7f0901f1c,34215
13-
- lsp-test-0.17.1.0@sha256:f54757a564b46783cf67b13f4cb4ebc45e43f5afc3604d9757ee387c091b73e9,4406
14-
- mod-0.2.0.1@sha256:eeb316fef3a8c12f4e83bbeeea748e74d75fca54d4498d574ace92e464adb05a,2409
15-
- row-types-1.0.1.2@sha256:4d4c7cb95d06a32b28ba977852d52a26b4c1f695ef083a6fd874ab6d79933b64,3071
1611
- network-simple-0.4.2@sha256:3614a0b7e51bcafb5643c3dc3a3a89d20a99671998c8814eb6fc55fa99e38444,1375
1712

1813
flags:
14+
agda-language-server:
15+
Agda-2-7-0-1: true
1916
Agda:
2017
# optimise-heavily: true
2118
enable-cluster-counting: true

‎stack.yaml.lock‎

Lines changed: 4 additions & 39 deletions
Original file line numberDiff line numberDiff line change
@@ -11,41 +11,6 @@ packages:
1111
size: 43358
1212
original:
1313
hackage: Agda-2.7.0.1
14-
- completed:
15-
hackage: lsp-2.7.0.0@sha256:2a64b40a69fd9638056ca552d5660203019473061cff1d09dccc0c94e40a275c,3834
16-
pantry-tree:
17-
sha256: 630a5e18d7783c35a296268959c8d9348ee6dc94540047ea58146b310d8de941
18-
size: 1120
19-
original:
20-
hackage: lsp-2.7.0.0@sha256:2a64b40a69fd9638056ca552d5660203019473061cff1d09dccc0c94e40a275c,3834
21-
- completed:
22-
hackage: lsp-types-2.3.0.0@sha256:ca17a686bda5dc7ff04105ca7081dce5a90bcd050c8800a13efd68b7f0901f1c,34215
23-
pantry-tree:
24-
sha256: 0bf22e394dc804c8cee74d19a7f38021cfd48a15082b39a14753c037f2a64288
25-
size: 51996
26-
original:
27-
hackage: lsp-types-2.3.0.0@sha256:ca17a686bda5dc7ff04105ca7081dce5a90bcd050c8800a13efd68b7f0901f1c,34215
28-
- completed:
29-
hackage: lsp-test-0.17.1.0@sha256:f54757a564b46783cf67b13f4cb4ebc45e43f5afc3604d9757ee387c091b73e9,4406
30-
pantry-tree:
31-
sha256: 66797a8efd50812189c410310dc0a9b72858ea3a3e78764e9cedd8f406df2564
32-
size: 1561
33-
original:
34-
hackage: lsp-test-0.17.1.0@sha256:f54757a564b46783cf67b13f4cb4ebc45e43f5afc3604d9757ee387c091b73e9,4406
35-
- completed:
36-
hackage: mod-0.2.0.1@sha256:eeb316fef3a8c12f4e83bbeeea748e74d75fca54d4498d574ace92e464adb05a,2409
37-
pantry-tree:
38-
sha256: d469d7e415c1593f052d3ca647e4085ab759be378d25ca7d2eea0aab0083ce38
39-
size: 590
40-
original:
41-
hackage: mod-0.2.0.1@sha256:eeb316fef3a8c12f4e83bbeeea748e74d75fca54d4498d574ace92e464adb05a,2409
42-
- completed:
43-
hackage: row-types-1.0.1.2@sha256:4d4c7cb95d06a32b28ba977852d52a26b4c1f695ef083a6fd874ab6d79933b64,3071
44-
pantry-tree:
45-
sha256: 6a3617038d3970095100d14d026c396002a115700500cf3004ffb67ae5a75611
46-
size: 1060
47-
original:
48-
hackage: row-types-1.0.1.2@sha256:4d4c7cb95d06a32b28ba977852d52a26b4c1f695ef083a6fd874ab6d79933b64,3071
4914
- completed:
5015
hackage: network-simple-0.4.2@sha256:3614a0b7e51bcafb5643c3dc3a3a89d20a99671998c8814eb6fc55fa99e38444,1375
5116
pantry-tree:
@@ -55,7 +20,7 @@ packages:
5520
hackage: network-simple-0.4.2@sha256:3614a0b7e51bcafb5643c3dc3a3a89d20a99671998c8814eb6fc55fa99e38444,1375
5621
snapshots:
5722
- completed:
58-
sha256: 5a59b2a405b3aba3c00188453be172b85893cab8ebc352b1ef58b0eae5d248a2
59-
size: 650475
60-
url: https://raw.githubusercontent.com/commercialhaskell/stackage-snapshots/master/lts/20/26.yaml
61-
original: lts-20.26
23+
sha256: a033deeac115f963c6a976aeb8407595a196ac8cff629847488ebf504af5bbaf
24+
size: 724470
25+
url: https://raw.githubusercontent.com/commercialhaskell/stackage-snapshots/master/lts/24/1.yaml
26+
original: lts-24.1

0 commit comments

Comments
 (0)