Skip to content

Commit 8a00fcc

Browse files
committed
Bump ghc-wasm-meta, fixing random build failures of lsp-types
1 parent 742e309 commit 8a00fcc

File tree

2 files changed

+2
-33
lines changed

2 files changed

+2
-33
lines changed

.github/workflows/wasm.yaml

Lines changed: 2 additions & 10 deletions
Original file line numberDiff line numberDiff line change
@@ -10,7 +10,7 @@ on:
1010

1111
env:
1212
GHC_WASM_META_FLAVOUR: '9.10'
13-
GHC_WASM_META_COMMIT_HASH: '78c87e9236a547fcb439db6927391df625af16fb'
13+
GHC_WASM_META_COMMIT_HASH: 'c3f44696d29aaeadd755d69c51735954bfcd59db'
1414

1515
jobs:
1616
build:
@@ -86,15 +86,7 @@ jobs:
8686
mv cabal.project.wasm32 cabal.project
8787
wasm32-wasi-cabal configure --flag=Agda-2-8-0
8888
89-
- name: 'Build dep: lsp-types'
90-
uses: nick-fields/retry@v3
91-
id: build-dep-lsp-types
92-
with:
93-
timeout_minutes: 10
94-
max_attempts: 2
95-
command: cd als && wasm32-wasi-cabal build lib:lsp-types
96-
97-
- name: 'Build dep: agda'
89+
- name: Build Agda as dependency
9890
id: build-dep-agda
9991
working-directory: './als'
10092
run: wasm32-wasi-cabal build lib:agda

BUILDING_WASM.md

Lines changed: 0 additions & 23 deletions
Original file line numberDiff line numberDiff line change
@@ -5,26 +5,3 @@
55
3. In the project root, run `cp cabal.project{.wasm32,}`, and then `wasm32-wasi-cabal build`.
66

77
Note: This project uses a hybrid approach - most dependencies use cabal's git handling, but the network package remains as a git submodule due to autotools requirements.
8-
9-
The process might output the following:
10-
11-
```
12-
[442 of 452] Compiling Language.LSP.Protocol.Message.Types ( src/Language/LSP/Protocol/Message/Types.hs, /home/qbane/agda-project/haskell-lsp-wasm/dist-newstyle/build/wasm32-wasi/ghc-9.10.1.20250207/lsp-types-2.3.0.1/build/Language/LSP/Protocol/Message/Types.o, /home/qbane/agda-project/haskell-lsp-wasm/dist-newstyle/build/wasm32-wasi/ghc-9.10.1.20250207/lsp-types-2.3.0.1/build/Language/LSP/Protocol/Message/Types.dyn_o )
13-
14-
wasm://wasm/001e3c92:1
15-
16-
17-
RuntimeError: table index is out of bounds
18-
at wasm://wasm/001e3c92:wasm-function[586]:0x45e40
19-
at wasm://wasm/001e3c92:wasm-function[365]:0x286e1
20-
at wasm://wasm/001e3c92:wasm-function[595]:0x46135
21-
at process.processImmediate (node:internal/timers:491:21)
22-
23-
Node.js v22.14.0
24-
```
25-
26-
At this moment, you should terminate the process and run it again.
27-
28-
This was a known issue ([ghc#26106](https://gitlab.haskell.org/ghc/ghc/-/issues/26106)) and was fixed in the [GHC upstream](https://gitlab.haskell.org/ghc/ghc/-/commit/3e4a456801ba6aab5d8a6c0ae5a4ba8ab99b9d25).
29-
30-
If everything works properly, it should build a binary `als.wasm`.

0 commit comments

Comments
 (0)