Skip to content
This repository was archived by the owner on Jan 15, 2025. It is now read-only.

Comments

Editorial tweaks to spec rules#13

Merged
aardappel merged 1 commit intomasterfrom
rossberg-patch-1-2
Jan 15, 2021
Merged

Editorial tweaks to spec rules#13
aardappel merged 1 commit intomasterfrom
rossberg-patch-1-2

Conversation

@rossberg
Copy link
Member

A few minor refactorings of the proposed spec rules:

  • Change abstract syntax of memtype to have idxtype before limits (envisioning the general structure idxtype limits elemtype, e.g., should we once have Table64 as well).
  • Parameterise syntax of limits over index syntax to accommodate tabletype and mem-32.
  • Classify limits by index type instead of having an extra wrapper rule.
  • Added modified rule for memory type validation.
  • Factorise binary encoding for limits to make shared i64 memtypes expressible.

A few minor refactorings of the proposed spec rules:

* Change abstract syntax of memtype to have idxtype before limits (envisioning the general structure `idxtype limits elemtype`, e.g., should we once have Table64 as well).
* Parameterise syntax of limits over index syntax to accommodate tabletype.
* Classify limits by index type instead of having an extra wrapper rule.
* Added modified rule for memory type validation.
* Factorise binary encoding for limits to make shared i64 memtypes expressible.
@rossberg rossberg requested a review from aardappel January 15, 2021 10:13
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants