Ben L. Titzer

Great that you are working in this! I haven't quite thought through all of the issues here, so happy to have your input. 1. I was thinking that `%f` would...

Another thought is that having control over the number of decimal places printed is very useful too, so it might make sense to support the printf-style `%.Nf` format-modifier. (Maybe in...

What's going on with `16777217f` is that that literal is being rounded at compile time when parsed from a string literal to a floating point value. The same thing happens...

For reference on how this might be implemented, here is the Scala port of the relatively-new Ryu algorithm: https://github.com/scala-native/scala-native/pull/1436 For anyone willing to pitch in on this issue, that's the...

You can try this: ``` % cd aeneas/src % v3c-wasi -shadow-stack-size=1m -heap-size=500m -output=/tmp */*.v3 $VIRGIL_LOC/lib/util/*.v3 $VIRGIL_LOC/lib/asm/*/*.v3 ``` The generated `.wasm` file does run, but file loading is broken atm, so...

Also a very worthwhile option is `-rt.symtab`, which will generate a names section.

Hmm, that's weird. If I compile `Aeneas` with `v3c-wasi` and run that `Aeneas.wasm` on node, I get: ``` [~/virgil]% v3c-wasi $AENEAS_SOURCES [~/virgil]% node --no-warnings --experimental-wasi-unstable-preview1 rt/wasi_snapshot_preview1/wasi.node.mjs Aeneas.wasm -help Aeneas III-6.1505...

Done. I fixed the `RiRuntime.v3` for WASI to skip the first argument. (Also fixed `wizard` to pass the `.wasm` filename as the first argument). This works now in `node`, `wasm3`,...

What remains is for me to fixup `fileLoad()` in `rt/wasi_snapshot_preview1/System.v3`, and I think the compiler will work. Mostly the issue is just getting the file size properly and loading the...

Yeah, I noticed that `wasmtime` sometimes doesn't flush stdout. Maybe calling `proc_exit` will fix it; I plan to add that to the `RiRuntime` interface for the wasm targets, as this...