FStarLang/karamel

Unsupported wasm

wintersteiger opened this issue · 1 comments

I'm running Ocaml 4.08.0 and I can't downgrade because of other projects. Is there a plan for post-4.08.0 wasm?

.../kremlin$ opam install wasm
The following dependencies couldn't be met:
  - wasm → ocaml < 4.08.0                                                                                                                                                                 base of this switch (use `--unlock-base' to force)

No solution found, exiting

Thanks Christoph. Probably best to file at https://github.com/WebAssembly/spec/issues and ask @rossberg

Cheers,

Jonathan