Skip to content

Commit ab3df9f

Browse files
banacornbanacorn
committed
[ new ] Include Agda-2.6.4.3 and drop support for some older GHC versions
1 parent 266af65 commit ab3df9f

13 files changed

+163
-95
lines changed

‎agda-language-server.cabal‎

Lines changed: 31 additions & 21 deletions
Original file line numberDiff line numberDiff line change
@@ -1,11 +1,11 @@
11
cabal-version: 1.12
22

3-
-- This file has been generated from package.yaml by hpack version 0.35.2.
3+
-- This file has been generated from package.yaml by hpack version 0.37.0.
44
--
55
-- see: https://github.com/sol/hpack
66

77
name: agda-language-server
8-
version: 0.2.6.4.0.3
8+
version: 0.2.6.4.3.0
99
synopsis: An implementation of language server protocal (LSP) for Agda 2.
1010
description: Please see the README on GitHub at <https://github.com/agda/agda-language-server#readme>
1111
category: Development
@@ -22,22 +22,32 @@ extra-source-files:
2222
CHANGELOG.md
2323
package.yaml
2424
stack.yaml
25-
stack-8.10-Agda-2.6.2.2.yaml
26-
stack-9.0-Agda-2.6.2.2.yaml
2725
stack-9.2-Agda-2.6.2.2.yaml
2826
stack-9.2-Agda-2.6.3.yaml
27+
stack-9.2-Agda-2.6.4.yaml
28+
stack-9.2-Agda-2.6.4.3.yaml
2929

3030
source-repository head
3131
type: git
3232
location: https://github.com/banacorn/agda-language-server
3333

3434
flag Agda-2-6-2-2
35-
description: Embed Agda-2.6.2.2 (rather than 2.6.4)
35+
description: Embed Agda-2.6.2.2
3636
manual: True
3737
default: False
3838

3939
flag Agda-2-6-3
40-
description: Embed Agda-2.6.3 (rather than 2.6.4)
40+
description: Embed Agda-2.6.3
41+
manual: True
42+
default: False
43+
44+
flag Agda-2-6-4
45+
description: Embed Agda-2.6.4
46+
manual: True
47+
default: False
48+
49+
flag Agda-2-6-4-3
50+
description: Embed Agda-2.6.4.3
4151
manual: True
4252
default: False
4353

@@ -96,18 +106,18 @@ library
96106
, strict
97107
, text
98108
default-language: Haskell2010
99-
if flag(Agda-2-6-2-2) && !flag(Agda-2-6-3)
109+
if flag(Agda-2-6-2-2)
100110
build-depends:
101111
Agda ==2.6.2.2
102-
if !flag(Agda-2-6-2-2) && flag(Agda-2-6-3)
112+
if flag(Agda-2-6-3)
103113
build-depends:
104114
Agda ==2.6.3
105-
if !flag(Agda-2-6-2-2) && !flag(Agda-2-6-3)
115+
if flag(Agda-2-6-4)
106116
build-depends:
107117
Agda ==2.6.4
108-
if flag(Agda-2-6-2-2) && flag(Agda-2-6-3)
118+
if flag(Agda-2-6-4-3)
109119
build-depends:
110-
Agda <0
120+
Agda ==2.6.4.3
111121

112122
executable als
113123
main-is: Main.hs
@@ -140,18 +150,18 @@ executable als
140150
, strict
141151
, text
142152
default-language: Haskell2010
143-
if flag(Agda-2-6-2-2) && !flag(Agda-2-6-3)
153+
if flag(Agda-2-6-2-2)
144154
build-depends:
145155
Agda ==2.6.2.2
146-
if !flag(Agda-2-6-2-2) && flag(Agda-2-6-3)
156+
if flag(Agda-2-6-3)
147157
build-depends:
148158
Agda ==2.6.3
149-
if !flag(Agda-2-6-2-2) && !flag(Agda-2-6-3)
159+
if flag(Agda-2-6-4)
150160
build-depends:
151161
Agda ==2.6.4
152-
if flag(Agda-2-6-2-2) && flag(Agda-2-6-3)
162+
if flag(Agda-2-6-4-3)
153163
build-depends:
154-
Agda <0
164+
Agda ==2.6.4.3
155165

156166
test-suite als-test
157167
type: exitcode-stdio-1.0
@@ -215,15 +225,15 @@ test-suite als-test
215225
, tasty-quickcheck
216226
, text
217227
default-language: Haskell2010
218-
if flag(Agda-2-6-2-2) && !flag(Agda-2-6-3)
228+
if flag(Agda-2-6-2-2)
219229
build-depends:
220230
Agda ==2.6.2.2
221-
if !flag(Agda-2-6-2-2) && flag(Agda-2-6-3)
231+
if flag(Agda-2-6-3)
222232
build-depends:
223233
Agda ==2.6.3
224-
if !flag(Agda-2-6-2-2) && !flag(Agda-2-6-3)
234+
if flag(Agda-2-6-4)
225235
build-depends:
226236
Agda ==2.6.4
227-
if flag(Agda-2-6-2-2) && flag(Agda-2-6-3)
237+
if flag(Agda-2-6-4-3)
228238
build-depends:
229-
Agda <0
239+
Agda ==2.6.4.3

‎package.yaml‎

Lines changed: 21 additions & 10 deletions
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
name: agda-language-server
2-
version: 0.2.6.4.0.3
2+
version: 0.2.6.4.3.0
33
github: "banacorn/agda-language-server"
44
license: MIT
55
author: "Ting-Gian LUA"
@@ -11,10 +11,10 @@ extra-source-files:
1111
- CHANGELOG.md
1212
- package.yaml
1313
- stack.yaml
14-
- stack-8.10-Agda-2.6.2.2.yaml
15-
- stack-9.0-Agda-2.6.2.2.yaml
1614
- stack-9.2-Agda-2.6.2.2.yaml
1715
- stack-9.2-Agda-2.6.3.yaml
16+
- stack-9.2-Agda-2.6.4.yaml
17+
- stack-9.2-Agda-2.6.4.3.yaml
1818

1919
# Metadata used when publishing your package
2020
synopsis: An implementation of language server protocal (LSP) for Agda 2.
@@ -27,27 +27,38 @@ description: Please see the README on GitHub at <https://github.com/agda
2727

2828
flags:
2929
Agda-2-6-2-2:
30-
description: Embed Agda-2.6.2.2 (rather than 2.6.4)
30+
description: Embed Agda-2.6.2.2
3131
manual: true
3232
default: false
3333
Agda-2-6-3:
34-
description: Embed Agda-2.6.3 (rather than 2.6.4)
34+
description: Embed Agda-2.6.3
35+
manual: true
36+
default: false
37+
Agda-2-6-4:
38+
description: Embed Agda-2.6.4
39+
manual: true
40+
default: false
41+
Agda-2-6-4-3:
42+
description: Embed Agda-2.6.4.3
3543
manual: true
3644
default: false
3745

3846
when:
39-
- condition: "flag(Agda-2-6-2-2) && !flag(Agda-2-6-3)"
47+
- condition: "flag(Agda-2-6-2-2)"
4048
dependencies:
4149
- Agda == 2.6.2.2
42-
- condition: "!flag(Agda-2-6-2-2) && flag(Agda-2-6-3)"
50+
- condition: "flag(Agda-2-6-3)"
4351
dependencies:
4452
- Agda == 2.6.3
45-
- condition: "!flag(Agda-2-6-2-2) && !flag(Agda-2-6-3)"
53+
- condition: "flag(Agda-2-6-4)"
4654
dependencies:
4755
- Agda == 2.6.4
48-
- condition: "flag(Agda-2-6-2-2) && flag(Agda-2-6-3)"
56+
- condition: "flag(Agda-2-6-4-3)"
4957
dependencies:
50-
- Agda < 0
58+
- Agda == 2.6.4.3
59+
# - condition: "flag(Agda-2-6-2-2) && flag(Agda-2-6-3)"
60+
# dependencies:
61+
# - Agda < 0
5162

5263
dependencies:
5364
- base >= 4.7 && < 5

‎stack-8.10-Agda-2.6.2.2.yaml‎

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

‎stack-9.0-Agda-2.6.2.2.yaml‎

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

‎stack-9.0-Agda-2.6.2.2.yaml.lock‎

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

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

Lines changed: 19 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,19 @@
1+
# This file was autogenerated by Stack.
2+
# You should not edit this file by hand.
3+
# For more information, please see the documentation at:
4+
# https://docs.haskellstack.org/en/stable/lock_files
5+
6+
packages:
7+
- completed:
8+
hackage: Agda-2.6.2.2@sha256:b69c2f317db2886cb387134af00a3e42a06fab6422686938797924d034255a55,37047
9+
pantry-tree:
10+
sha256: 2f868d8f70a0f6bdbe96eff66ba1ec7a76b398cfc44dc57be525d7a67a44c9ab
11+
size: 40002
12+
original:
13+
hackage: Agda-2.6.2.2
14+
snapshots:
15+
- completed:
16+
sha256: 5a59b2a405b3aba3c00188453be172b85893cab8ebc352b1ef58b0eae5d248a2
17+
size: 650475
18+
url: https://raw.githubusercontent.com/commercialhaskell/stackage-snapshots/master/lts/20/26.yaml
19+
original: lts-20.26

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

Lines changed: 19 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,19 @@
1+
# This file was autogenerated by Stack.
2+
# You should not edit this file by hand.
3+
# For more information, please see the documentation at:
4+
# https://docs.haskellstack.org/en/stable/lock_files
5+
6+
packages:
7+
- completed:
8+
hackage: Agda-2.6.3@sha256:a668ab56534bd548c682088f595939a6b8732b46b84d7e7d808af966b5d5d4ec,36760
9+
pantry-tree:
10+
sha256: 3c60f373128b663640a90fbc6fcffcb9a5edd57e8dfc4a7b00d2f7771f9210ac
11+
size: 41559
12+
original:
13+
hackage: Agda-2.6.3
14+
snapshots:
15+
- completed:
16+
sha256: 5a59b2a405b3aba3c00188453be172b85893cab8ebc352b1ef58b0eae5d248a2
17+
size: 650475
18+
url: https://raw.githubusercontent.com/commercialhaskell/stackage-snapshots/master/lts/20/26.yaml
19+
original: lts-20.26

‎stack-9.2-Agda-2.6.4.3.yaml‎

Lines changed: 15 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,15 @@
1+
resolver: lts-20.26
2+
compiler: ghc-9.2.8
3+
# Allow a newer minor version of GHC than the snapshot specifies
4+
compiler-check: newer-minor
5+
6+
packages:
7+
- .
8+
9+
extra-deps:
10+
- Agda-2.6.4.3
11+
12+
flags:
13+
Agda:
14+
# optimise-heavily: true
15+
enable-cluster-counting: true

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

Lines changed: 19 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,19 @@
1+
# This file was autogenerated by Stack.
2+
# You should not edit this file by hand.
3+
# For more information, please see the documentation at:
4+
# https://docs.haskellstack.org/en/stable/lock_files
5+
6+
packages:
7+
- completed:
8+
hackage: Agda-2.6.4.3@sha256:a8066d4b15827534d118846e98fd47bb9aadeb75e3d3b1f2c3bda8f5885c3f7c,29246
9+
pantry-tree:
10+
sha256: 8ec7c974decac30ceb45e9d728cf8b70b6da671dd80fe362e7e1fd4f0fcae77d
11+
size: 42904
12+
original:
13+
hackage: Agda-2.6.4.3
14+
snapshots:
15+
- completed:
16+
sha256: 5a59b2a405b3aba3c00188453be172b85893cab8ebc352b1ef58b0eae5d248a2
17+
size: 650475
18+
url: https://raw.githubusercontent.com/commercialhaskell/stackage-snapshots/master/lts/20/26.yaml
19+
original: lts-20.26

‎stack-9.2-Agda-2.6.4.yaml‎

Lines changed: 15 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,15 @@
1+
resolver: lts-20.26
2+
compiler: ghc-9.2.8
3+
# Allow a newer minor version of GHC than the snapshot specifies
4+
compiler-check: newer-minor
5+
6+
packages:
7+
- .
8+
9+
extra-deps:
10+
- Agda-2.6.4
11+
12+
flags:
13+
Agda:
14+
# optimise-heavily: true
15+
enable-cluster-counting: true

0 commit comments

Comments
 (0)