Split core definitions out into separate index spaces#29

Merged

lukewagner merged 27 commits intomainfrom core-split

May 27, 2022

+849-693

Commits on May 26, 2022

Split core definitions out into separate index spaces
lukewagner
committed
Restore value type binary encoding, refactor type grammar slightly
lukewagner
committed
Remove 'outer' option from core:alias
lukewagner
committed
Tweak <sort> grammar to be more regular
lukewagner
committed
Fix whitespace
lukewagner
committed
Fix bug in outer alias example
lukewagner
committed
Fix bug in outer alias example (better)
lukewagner
committed
Fix thinko in definition of 'sort'
lukewagner
committed
... and in Binary.md too
lukewagner
committed
Remove ambiguous hand-waving from type grammar
lukewagner
committed
Add better validation notes in Binary.md, normalize on 'externdesc'
lukewagner
committed
s/varu32/u32/ because to match actual core wasm spec
lukewagner
committed
Clamp down core (with ...) expressions to just the 'instance' sort
lukewagner
committed
Remove dangling <id>?
lukewagner
committed
Fix typo in core:exportdesc
lukewagner
committed
Improve explanation of type imports and fresh type index spaces
lukewagner
committed
s/Bottom type/Empty type/
lukewagner
committed
Tweak wording around type imports/exports rationale
lukewagner
committed
Don't use core-prefix in <sort>
lukewagner
committed
Fix bug in example
lukewagner
committed
Update example to match explicit sort in exportdesc
lukewagner
committed
Revert previous; update inline alias syntax description to match all the examples
lukewagner
committed
Tweak validation wording

lukewagner
and
peterhuene
committed
Avoid EH conflicts in binary encoding of core:sort

lukewagner
and
peterhuene
committed
Sync externdesc with preceding binary format opcode change

lukewagner
and
peterhuene
committed
Sync core:instantiatearg with preceding binary format opcode change

lukewagner
and
peterhuene
committed
Make <functype> in 'canon lift' symmetric to imports
lukewagner
committed

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Split core definitions out into separate index spaces#29

Commits on May 26, 2022

Split core definitions out into separate index spaces

Restore value type binary encoding, refactor type grammar slightly

Remove 'outer' option from core:alias

Tweak <sort> grammar to be more regular

Fix whitespace

Fix bug in outer alias example

Fix bug in outer alias example (better)

Fix thinko in definition of 'sort'

... and in Binary.md too

Remove ambiguous hand-waving from type grammar

Add better validation notes in Binary.md, normalize on 'externdesc'

s/varu32/u32/ because to match actual core wasm spec

Clamp down core (with ...) expressions to just the 'instance' sort

Remove dangling <id>?

Fix typo in core:exportdesc

Improve explanation of type imports and fresh type index spaces

s/Bottom type/Empty type/

Tweak wording around type imports/exports rationale

Don't use core-prefix in <sort>

Fix bug in example

Update example to match explicit sort in exportdesc

Revert previous; update inline alias syntax description to match all the examples

Tweak validation wording

Avoid EH conflicts in binary encoding of core:sort

Sync externdesc with preceding binary format opcode change

Sync core:instantiatearg with preceding binary format opcode change

Make <functype> in 'canon lift' symmetric to imports