Skip to content

Commit 55cd299

Browse files
committed
[spec] Refine abstract syntax of modules to use list
1 parent 44b03c2 commit 55cd299

2 files changed

Lines changed: 24 additions & 2 deletions

File tree

specification/wasm-3.0/1.4-syntax.modules.spectec

Lines changed: 12 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -44,7 +44,18 @@ syntax export hint(desc "export") =
4444
EXPORT name externidx
4545

4646
syntax module hint(desc "module") =
47-
MODULE type* import* tag* global* mem* table* func* data* elem* start? export*
47+
MODULE
48+
list(type)
49+
list(import)
50+
list(tag)
51+
list(global)
52+
list(mem)
53+
list(table)
54+
list(func)
55+
list(data)
56+
list(elem)
57+
start?
58+
list(export)
4859

4960

5061
;; Meta variables

specification/wasm-latest/1.4-syntax.modules.spectec

Lines changed: 12 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -44,7 +44,18 @@ syntax export hint(desc "export") =
4444
EXPORT name externidx
4545

4646
syntax module hint(desc "module") =
47-
MODULE type* import* tag* global* mem* table* func* data* elem* start? export*
47+
MODULE
48+
list(type)
49+
list(import)
50+
list(tag)
51+
list(global)
52+
list(mem)
53+
list(table)
54+
list(func)
55+
list(data)
56+
list(elem)
57+
start?
58+
list(export)
4859

4960

5061
;; Meta variables

0 commit comments

Comments
 (0)