multi-value

multi-value copied to clipboard

PROPOSAL: "frame" as a better alternative to pick/let

8

Instead of providing "pick" or "let" instructions, I propose providing a "frame" block instruction (effectively providing frame-pointer like access to the wasm stack, similar to what happens for the "call"...

xphung

Flow Sensitivity

7

Here is some food for thought that might be relevant to discussions such as in #41. Low-level type systems generally need to at some point incorporate multi-value flow-sensitivity. That means...

RossTate

Text format of function calls with multi-value arguments

34

Is there a proposal for extending the notation for function calls to account for the possibility that an argument call is 'supplying' multiple arguments to the call. E.g., imagine an...

fgmccabe