Ben L. Titzer
Ben L. Titzer
You're right, the implementation documentation is mostly just placeholders, while the tutorial documentation is more complete. Hopefully I can get around to writing some more of this in the future.
Can you share a little about your use case? Is it to link the engine into a program that implements your platform functionality? Or is it to link it into...
Implementing the C API is a lot of work and would be blocked on significant compiler work in Virgil, so I won't be able to prioritize this. Is there another...
This is currently being worked on, expected to be completed early in 2024.
Now that `let` has been removed from the `function-references` proposal, maybe it is time consider what @rossberg suggested above: a `dup` or `pick` instruction that includes a stack type annotation.
Can you write a `seman` testcase that should pass and add to `test/fail`?
This is a subtle thing that needs to be explained better. Integer types like `u4` and `u8` are not related by *subtyping* but by *promotion*. That is because they could...
The more I think about this, the more I prefer a module-local trap-handler mechanism, as opposed to throwing variants of instructions. Some modules are uncooperative and may not use the...
What about `memory=N`, to be more consistent with the `offset=N` syntax for load/store?
Thanks for the responses so far. I have had many offline conversations, so just pinging a few random people to weigh in here so we can start the CMU logistics...