[CI] Build on JS and WASM backends

[konsumlamm]

Running the tests doesn't work currently, but building the library does. I took the build steps from https://www.haskell.org/ghcup/guide/#cross-support. Should the actions also cache stuff? If so, could one just copy the caching from the build job?

Also rename ci.yml to ci.yaml (.yaml is the recommended extension).

[Bodigrim]

Thanks!

Running the tests doesn't work currently, but building the library does.

What's failing in tests?

Should the actions also cache stuff? If so, could one just copy the caching from the build job?

Caching would be nice. Yes, presumably you can copy it from the main build job, just adjust cache key.

[konsumlamm]

Running the tests doesn't work currently, but building the library does.

What's failing in tests?

On the JS backend, the tests fail to run due to ReferenceError: h$getMonotonicNSec is not defined (see https://gitlab.haskell.org/ghc/ghc/-/issues/22374) and on the WASM backend, semirings fails to compile (chessai/semirings#86). See https://github.com/konsumlamm/bitvec/actions/runs/7029803339 for logs.

[Bodigrim]

on the WASM backend, semirings fails to compile

Could you please try

cabal test -c 'quickcheck-classes -semirings' -c 'semirings < 0' --enable-tests

? Flipping other flags of quickcheck-classes might be helpful as well.

[konsumlamm]

Now the testsuite compiles successfully, but there's a linker error:

wasm-ld: error: unable to find library -lHSrts-1.0.2_thr

See https://github.com/konsumlamm/bitvec/actions/runs/7053126518/job/19199568767 for the log.

[Bodigrim]

@TerrorJack any ideas about wasm-ld error?

@konsumlamm does disabling threaded runtime help? We can make ghc-options: -threaded conditional, only on non-WASM platforms.

[konsumlamm]

Still a linker error:

wasm-ld: error: /home/runner/.local/state/cabal/store/ghc-9.8.0.20230927/splitmix-0.1.0.5-ca7fbe7591ee007f80e9a34938251542fa964d5342dbfb81ee20559bbbf44ea3/lib/libHSsplitmix-0.1.0.5-ca7fbe7591ee007f80e9a34938251542fa964d5342dbfb81ee20559bbbf44ea3.a(init.o): undefined symbol: clock
wasm-ld: error: /home/runner/.local/state/cabal/store/ghc-9.8.0.20230927/splitmix-0.1.0.5-ca7fbe7591ee007f80e9a34938251542fa964d5342dbfb81ee20559bbbf44ea3/lib/libHSsplitmix-0.1.0.5-ca7fbe7591ee007f80e9a34938251542fa964d5342dbfb81ee20559bbbf44ea3.a(init.o): undefined symbol: getpid

[Bodigrim]

That's haskellari/splitmix#73, one can workaround as in zlib. See

• https://github.com/haskell/zlib/blob/add586898fd38712980731f2f3a13ce8d75650aa/cabal.project.wasi
• https://github.com/haskell/zlib/blob/add586898fd38712980731f2f3a13ce8d75650aa/.github/workflows/other.yml#L43

[TerrorJack]

the -lHSrts-1.0.2_thr error is indeed because we don't build the threaded rts for wasm at all. as for clock, getpid, yes, it's necessary to use those workarounds for the time being.

[konsumlamm]

Ok, now linking works, but running fails:

/home/runner/work/bitvec/bitvec/dist-newstyle/build/wasm32-wasi/ghc-9.8.0.20230927/bitvec-1.1.5.0/t/bitvec-tests/build/bitvec-tests/bitvec-tests.wasm: createProcess: posix_spawnp: invalid argument (Exec format error)

[Bodigrim]

Ok, now linking works, but running fails:

I suppose we have to run tests manually, via wasm-run/wasmtime.sh. Cf. https://github.com/haskell/zlib/blob/add586898fd38712980731f2f3a13ce8d75650aa/.github/workflows/other.yml#L71-L75

[konsumlamm]

Now the tests finally run (and pass) under WASM.

[Bodigrim]

Awesome, many thanks!