[interpreter] Eps

Author: rossberg

interpreter/runtime/global.ml

@@ -7,9 +7,9 @@ type t = global
 exception Type
 exception NotMutable
 
-let alloc (GlobalType (t, mut) as gt) v =
+let alloc (GlobalType (t, _) as ty) v =
   if not (match_value_type (type_of_value v) t) then raise Type;
-  {ty = gt; content = v}
+  {ty; content = v}
 
 let type_of glob =
   glob.ty

interpreter/runtime/memory.ml

@@ -41,9 +41,9 @@ let create n =
     mem
   with Out_of_memory -> raise OutOfMemory
 
-let alloc (MemoryType lim as mt) =
+let alloc (MemoryType lim as ty) =
   if not (valid_limits lim) then raise Type;
-  {ty = mt; content = create lim.min}
+  {ty; content = create lim.min}
 
 let bound mem =
   Array1_64.dim mem.content

interpreter/runtime/table.ml

@@ -22,9 +22,9 @@ let create size r =
   try Lib.Array32.make size r
   with Out_of_memory | Invalid_argument _ -> raise OutOfMemory
 
-let alloc (TableType (lim, _) as tt) r =
+let alloc (TableType (lim, _) as ty) r =
   if not (valid_limits lim) then raise Type;
-  {ty = tt; content = create lim.min r}
+  {ty; content = create lim.min r}
 
 let size tab =
   Lib.Array32.length tab.content