Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Caveats: - The OCaml switch in this case byte-only, so things are slow, as jsoo itself won't have a native mode - JS ppx libs 0.17 don't really support 32bit builds, this will likely become a problem in the future (if not now actually, for example `ppx_inline_test.0.17.0` fails to build) - jsCoq/coq-lsp works in this setup, which is IMO a great "data point" as to whether this setup is OK
- Loading branch information