Commit d3c7a34
authored
Update witx to 0.9 (#59)
* Update witx to 0.9
This pulls in the new `witx` 0.9 crate which notably includes
WebAssembly/WASI#395. This is a large refactoring of how witx signatures
are processed and a large update to the actual syntax of the witx ABIs
themselves.
This commit adjusts to all the new `witx` APIs and also tweaks idioms in
a few locations as well. Code generation is now less custom to Rust and
instead tries to match almost exactly what the `witx` crate tells us to
generate. Additionally the representation of types is chosen to more
closely align with interface types in the future where it's impossible
to pass invalid values to the outside world. Notable changes here are:
* `enum`-like values are now newtype wrappers around integers to prevent
invalid values from flowing out.
* Error traits are now implement directly for the `Errno` wrapper.
* The module containing the raw functions now exclusively uses i32/i64
types and doesn't try to use convenience types in Rust.
* Update submodule management
* Fix no-std-compat
* Fix wasi-ephemeral
* Regenerate lib_generated
* Update to main branch
* Update manifest directives1 parent ad108be commit d3c7a34
9 files changed
Lines changed: 1731 additions & 1216 deletions
File tree
- crates
- wasi-ephemeral/src
- witx-bindgen
- src
- src
This file was deleted.
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
28 | 28 | | |
29 | 29 | | |
30 | 30 | | |
31 | | - | |
32 | | - | |
33 | 31 | | |
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
9 | 9 | | |
10 | 10 | | |
11 | 11 | | |
12 | | - | |
| 12 | + | |
13 | 13 | | |
14 | 14 | | |
15 | 15 | | |
| |||
- docs/DesignPrinciples.md+2-2
- docs/Proposals.md+8-5
- meetings/2019/WASI-05-02.md+1-1
- meetings/2019/WASI-05-16.md+1-1
- meetings/2019/WASI-05-30.md+1-1
- meetings/2019/WASI-06-27.md+1-1
- meetings/2019/WASI-07-18.md+1-1
- meetings/2019/WASI-10-15.md+2-2
- meetings/2021/WASI-01-14.md+42-1
- meetings/2021/WASI-01-28.md+174-3
- meetings/2021/WASI-02-11.md+118
- meetings/2021/WASI-02-25.md+33
- phases/README.md+1-1
- phases/ephemeral/docs.md+775-285
- phases/ephemeral/witx/typenames.witx+45-47
- phases/ephemeral/witx/wasi_ephemeral_args.witx+6-8
- phases/ephemeral/witx/wasi_ephemeral_clock.witx+2-4
- phases/ephemeral/witx/wasi_ephemeral_environ.witx+6-8
- phases/ephemeral/witx/wasi_ephemeral_fd.witx+23-33
- phases/ephemeral/witx/wasi_ephemeral_path.witx+12-15
- phases/ephemeral/witx/wasi_ephemeral_poll.witx+1-2
- phases/ephemeral/witx/wasi_ephemeral_random.witx+1-1
- phases/ephemeral/witx/wasi_ephemeral_sched.witx+1-1
- phases/ephemeral/witx/wasi_ephemeral_sock.witx+4-8
- phases/old/snapshot_0/docs.md+731-260
- phases/old/snapshot_0/witx/typenames.witx+38-38
- phases/old/snapshot_0/witx/wasi_unstable.witx+51-76
- phases/snapshot/docs.md+730-259
- phases/snapshot/witx/typenames.witx+38-37
- phases/snapshot/witx/wasi_snapshot_preview1.witx+50-75
- proposal-template/README.md+4
- proposals/README.md+8
- snapshots/README.md+5
- snapshots/make-snapshot.sh+159
- standard/README.md+12
- tools/witx/Cargo.toml+7-2
- tools/witx/src/abi.rs+925
- tools/witx/src/ast.rs+221-62
- tools/witx/src/coretypes.rs-171
- tools/witx/src/docs/ast.rs+121-176
- tools/witx/src/docs/md.rs+8-51
- tools/witx/src/layout.rs+77-99
- tools/witx/src/lib.rs+7-14
- tools/witx/src/parser.rs+182-81
- tools/witx/src/polyfill.rs+1-1
- tools/witx/src/render.rs+86-96
- tools/witx/src/representation.rs+46-197
- tools/witx/src/toplevel.rs+14-7
- tools/witx/src/validate.rs+313-173
- tools/witx/tests/anonymous.rs-45
- tools/witx/tests/multimodule.rs-53
- tools/witx/tests/multimodule/type_b.witx-2
- tools/witx/tests/multimodule/type_c.witx-2
- tools/witx/tests/union.rs-183
- tools/witx/tests/wasi-docs.rs-64
- tools/witx/tests/witxt.rs+656
- tools/witx/tests/witxt/abi.witxt+490
- tools/witx/tests/witxt/anonymous.witxt+56
- tools/witx/tests/witxt/multimodule.witxt+22
- tools/witx/tests/witxt/multimodule/redefine_a.witx
- tools/witx/tests/witxt/multimodule/type_a.witx
- tools/witx/tests/witxt/multimodule/type_b.witx+2
- tools/witx/tests/witxt/multimodule/type_c.witx+2
- tools/witx/tests/witxt/representation.witxt+60
- tools/witx/tests/witxt/shorthand.witxt+59
- tools/witx/tests/witxt/simple.witxt+12
- tools/witx/tests/witxt/union.witxt+97
- tools/witx/tests/witxt/wasi.witxt+26
0 commit comments