Skip to content

Commit e409eb6

Browse files
committed
Use 'funcvec' as common grammatical production name instead of 'prlist' or 'functuple'
1 parent 18e4642 commit e409eb6

File tree

2 files changed

+5
-5
lines changed

2 files changed

+5
-5
lines changed

design/mvp/Binary.md

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -186,8 +186,8 @@ casetype ::= 0x00 =>
186186
| 0x01 t:<valtype> => t
187187
valtype ::= i:<typeidx> => i
188188
| pvt:<primvaltype> => pvt
189-
functype ::= 0x40 p*:<prlist> r*:<prlist> => (func (param p)* (result r)*)
190-
prlist ::= 0x00 t:<valtype> => [t]
189+
functype ::= 0x40 p*:<funcvec> r*:<funcvec> => (func (param p)* (result r)*)
190+
funcvec ::= 0x00 t:<valtype> => [t]
191191
| 0x01 nt*:vec(<namedvaltype>) => nt*
192192
componenttype ::= 0x41 cd*:vec(<componentdecl>) => (component cd*)
193193
instancetype ::= 0x42 id*:vec(<instancedecl>) => (instance id*)

design/mvp/WIT.md

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -348,10 +348,10 @@ sleep: async func(ms: u64) -> ()
348348
Specifically functions have the structure:
349349

350350
```wit
351-
func-item ::= id ':' 'async'? 'func' func-tuple '->' func-tuple
351+
func-item ::= id ':' 'async'? 'func' func-vec '->' func-vec
352352
353-
func-tuple ::= ty
354-
| '(' func-named-type-list ')'
353+
func-vec ::= ty
354+
| '(' func-named-type-list ')'
355355
356356
func-named-type-list ::= nil
357357
| func-named-type ( ',' func-named-type )*

0 commit comments

Comments
 (0)