We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 2cf4cd1 commit e91bccaCopy full SHA for e91bcca
design/mvp/Binary.md
@@ -181,7 +181,7 @@ defvaltype ::= pvt:<primvaltype> => pvt
181
| 0x6a t*:vec(<valtype>) u*:vec(<valtype>) => (result t* (error u*))
182
namedtype ::= n:<name> t:<valtype> => (field n t)
183
case ::= nt*:vec(<namedtype>) 0x0 => (case nt*)
184
- | nt*:vec(<namedtype>) 0x1 i:<u32> => (case nt* (refines case-label[i]))
+ | n:<name> t*:vec(<valtype>) 0x1 i:<u32> => (case n t* (refines case-label[i]))
185
valtype ::= i:<typeidx> => i
186
| pvt:<primvaltype> => pvt
187
functype ::= 0x40 p*:<prlist> r*:<prlist> => (func (param p)* (result r)*)
0 commit comments