Closed alexcrichton closed 3 years ago
It's also worth noting that this probably shouldn't get merged until https://github.com/WebAssembly/WASI/pull/395 is merged, at which point in time I'll rebase.
Ok should be good for merging now. The changes specific to this proposal are in https://github.com/WebAssembly/wasi-nn/pull/13/commits/2706bceef3bbac17043649932e1b8761eb69f3c3
Ah I'm just lifting the syntax from https://github.com/WebAssembly/interface-types/blob/master/proposals/interface-types/Explainer.md#interface-types
This is a preparatory PR to follow-up from https://github.com/WebAssembly/WASI/pull/395
This commit merges the current WASI main branch into this repository and then adds a commit on top which updates the
*.witx
files to follow the new conventions, notably around type names and result types.