From d8b7fcd2b910dddf7681ed61a28332906823f6f3 Mon Sep 17 00:00:00 2001 From: Andreas Rossberg Date: Thu, 7 Nov 2024 10:35:37 +0100 Subject: [PATCH] [interpreter] Remove unnecessary type parameter from limits --- interpreter/syntax/types.ml | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/interpreter/syntax/types.ml b/interpreter/syntax/types.ml index f6a7fe2455..6deb708d7f 100644 --- a/interpreter/syntax/types.ml +++ b/interpreter/syntax/types.ml @@ -8,7 +8,7 @@ type null = NoNull | Null type mut = Cons | Var type init = Set | Unset type final = NoFinal | Final -type 'a limits = {min : 'a; max : 'a option} +type limits = {min : int64; max : int64 option} type var = StatX of type_idx | RecX of int32 @@ -45,8 +45,8 @@ and sub_type = SubT of final * heap_type list * str_type and rec_type = RecT of sub_type list and def_type = DefT of rec_type * int32 -type table_type = TableT of addr_type * Int64.t limits * ref_type -type memory_type = MemoryT of addr_type * Int64.t limits +type table_type = TableT of addr_type * limits * ref_type +type memory_type = MemoryT of addr_type * limits type global_type = GlobalT of mut * val_type type tag_type = TagT of def_type type local_type = LocalT of init * val_type