File tree 1 file changed +5
-5
lines changed
1 file changed +5
-5
lines changed Original file line number Diff line number Diff line change @@ -325,14 +325,14 @@ func_type_result :
325
325
{ $3 @ $5 }
326
326
327
327
table_type :
328
- | value_type limits64 ref_type { TableType ($2, index_type_of_value_type $1 $sloc, $3) }
329
- | limits64 ref_type { TableType ($1, I32IndexType, $2) }
328
+ | value_type limits ref_type { TableType ($2, index_type_of_value_type $1 $sloc, $3) }
329
+ | limits ref_type { TableType ($1, I32IndexType, $2) }
330
330
331
331
memory_type :
332
- | value_type limits64 { MemoryType ($2, index_type_of_value_type $1 $sloc) }
333
- | limits64 { MemoryType ($1, I32IndexType) }
332
+ | value_type limits { MemoryType ($2, index_type_of_value_type $1 $sloc) }
333
+ | limits { MemoryType ($1, I32IndexType) }
334
334
335
- limits64 :
335
+ limits :
336
336
| NAT { {min = nat64 $1 $loc($1); max = None} }
337
337
| NAT NAT { {min = nat64 $1 $loc($1); max = Some (nat64 $2 $loc($2))} }
338
338
You can’t perform that action at this time.
0 commit comments