component-model

component-model copied to clipboard

WIT Syntax: `world`

10

This PR sketches out the initial format for WebAssembly Worlds. [Rendered](https://github.com/fibonacci1729/component-model/blob/profiles/design/mvp/WORLD.md) Signed-off-by: Brian H

fibonacci1729

WIT Syntax: Structured Annotations

13

Many tools might want to add additional metadata to WIT declarations that modify code generation behaviour. A concrete example would be the `async` option of `wit-bindgen-wasmtime` , which marks functions...

theduke

Subtyping rules allow losing information

9

My current interpretation of the subtyping rules is that the intention is to be primarily useful when connecting two components together within the same component. When a function call happens...

alexcrichton

Overlap between outer alias encodings

2

Currently in [`Binary.md`](https://github.com/WebAssembly/component-model/blob/799a7f7f2819ce7e0cfb9ac76fde2d9c09f10d00/design/mvp/Binary.md) it looks like there's two different ways to alias an outer core wasm type. One is using `core:alias` with `sort` as 0x10/`type`. The other is using `alias`...

alexcrichton

Core type aliases with a depth larger than 1

1

Currently the [`Binary.md`](https://github.com/WebAssembly/component-model/blob/799a7f7f2819ce7e0cfb9ac76fde2d9c09f10d00/design/mvp/Binary.md) states: > Validation of alias declarators only allows outer type aliases. Validation of these aliases cannot see beyond the enclosing core type index space. Since core modules...

alexcrichton

Define Resource Subtyping

4

If WASI is going to use Resource Subtyping, it should probably be rendered here first so that implementations can conform to an official definition/specification of how they work.

esoterra

Recursive Types

13

There was some discussion on recursive types in https://github.com/WebAssembly/interface-types/issues/137. My takeaway was that recursion would be hard to specify with adapter functions. With adapters punted to a post-MVP phase ,...

theduke

Clarifying lift-then-lower and lower-then-lift semantics

4

This issue was originally discussed in https://github.com/WebAssembly/component-model/issues/9 and I believe the intention was that "degenerate cases" of pairing lower/lift would turn into a function that immediately traps. Interpreting the current...

alexcrichton

canonical abi should have a way to terminate the program

4

Eventually, this may be expressible via stack unwinding.

kulakowski-wasm

Default values

6

TLDR, these proposed changes: - Allow function parameters, record fields and variant case payloads to have default values, as long as they're constant. - When subtyping; allow variant cases to...

badeend