From d75e87e0b85bfcfc55cb824361887264080f0532 Mon Sep 17 00:00:00 2001 From: Sam Clegg Date: Mon, 3 Jun 2024 16:35:15 -0700 Subject: [PATCH] Remove limit64 from parser.mly (#61) This was left over from when we had both 64-bit and 32-bit limits --- interpreter/text/parser.mly | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/interpreter/text/parser.mly b/interpreter/text/parser.mly index e5e855d3c9..00a2188b5d 100644 --- a/interpreter/text/parser.mly +++ b/interpreter/text/parser.mly @@ -325,14 +325,14 @@ func_type_result : { $3 @ $5 } table_type : - | value_type limits64 ref_type { TableType ($2, index_type_of_value_type $1 $sloc, $3) } - | limits64 ref_type { TableType ($1, I32IndexType, $2) } + | value_type limits ref_type { TableType ($2, index_type_of_value_type $1 $sloc, $3) } + | limits ref_type { TableType ($1, I32IndexType, $2) } memory_type : - | value_type limits64 { MemoryType ($2, index_type_of_value_type $1 $sloc) } - | limits64 { MemoryType ($1, I32IndexType) } + | value_type limits { MemoryType ($2, index_type_of_value_type $1 $sloc) } + | limits { MemoryType ($1, I32IndexType) } -limits64 : +limits : | NAT { {min = nat64 $1 $loc($1); max = None} } | NAT NAT { {min = nat64 $1 $loc($1); max = Some (nat64 $2 $loc($2))} }