component-model

component-model copied to clipboard

Representing function references

1

I've brought this up at [WASI meeting on 2022-06-16][m]. This is also [partially][w] [related][p] to memory sharing, though the most simple case might make do without memory access. At its...

penzn

String size of mangled function names could be exponentially large

26

I haven't been following the name mangling discussions much but was reviewing https://github.com/bytecodealliance/wit-bindgen/pull/309 when I saw a change that got me thinking about the name mangling given a diff like...

alexcrichton

This changes the syntax of component and instance types so that it is possible to name a type with a typebound when it is declared, rather than when it is...

pl-semiotics

When is a start function's post-return option called?

14

In thinking about start functions recently one question I wasn't sure how to answer is when the returned values are "invalidated" or otherwise when the component can be reentered. A...

alexcrichton

Add draft of the specification of validation

4

This PR adds a spec/document folder with a draft of the beginnings of a spec document, currently providing a formalisation of validation rules for the component model.

pl-semiotics

The `float32` and `float64` types are being [renamed to `f32` and `f64`]. All the main tools have been updated to accept both old and new names for now, so there's...

sunfishcode

Support multiple imports of the same interface with different names

6

Currently the `extern-type` rule in the WIT grammar is: ```ebnf extern-type ::= func-type ';' | 'interface' '{' interface-items* '}' ``` This means that both the `import-item` and `export-item` rules in...

peterhuene

working with gc types

4

Add Canonical ABI options to support passing parameters by reference type - Close #305

oovm

Document what "specialized" means.

1

Add a paragraph documenting specialized types and their relationship to despecialized types. This is intended to help with #319.

sunfishcode

feature: pure function mark

1

I need a mechanism to mark functions as having no side effects (pure functions). Most external interfaces come with state, so I recommend having side effects by default and adding...

oovm