Ben L. Titzer

I propose that the constraint mechanism have the following long-term definition: * An imported type can specify 0 or more subtype constraints that refer to any earlier declared or imported...

We're implementing this proposal now in Wizard. What's the best source of truth to be most up-to-date? (And would you be willing to update the documentation here to match?) Thanks!

Awesome, thanks for the quick turnaround!

Some ideas that have been floated: * Require source code * Require licensing of source code under a (set of) approved licenses * Require build instructions / build scripts *...

What if the toolchain injected a check for initialization status into exports? AFAICT that would make it impossible to misuse a module by not calling its initialization, as that would...

For my use case, just `u+x` would be enough to limp along, but that feels like it wouldn't be general enough. Designating permission categories user/group/other and failing if one of...

I'm happy to leave `setuid` out of functionality for `chmod`, as I don't have a use case for it. I just mentioned it for completeness.

I don't see how this API makes anything inherently less racy or dangerous. First, wasm memories cannot be shrunk, so once an index is in-bounds, it is in-bounds for as...

I think I see a way to do this with C++ template magic, even for interpreters[*], but I agree this is a post-MVP feature. [*] provided the set of C++...

I'd like to be able to get the entire stacktrace from a trap (or other exception) in terms of `(instance,function,offset)` triplets or `(instance,module_offset)` pairs. The reason that in my language...