Name

Author: dhil

interpreter/exec/eval.ml

@@ -104,7 +104,7 @@ let is_jumping e =
 
 let compose (vs1, es1) (vs2, es2) = vs1 @ vs2, es1 @ es2
 
-let contref_arity contarg =
+let switcher_contref_arity contarg =
   match contarg with
   | RefT (_, DefHT def) ->
      (match as_cont_str_type (expand_def_type def) with
@@ -422,7 +422,7 @@ let rec step (c : config) : config =
 
       | Switch (x, y), Ref (ContRef ({contents = Some (n, ctxt)} as cont)) :: vs ->
          let FuncT (ts, _) = func_type_of_cont_type c.frame.inst (cont_type c.frame.inst x) in
-         let arity = contref_arity (Lib.List.last ts) in
+         let arity = switcher_contref_arity (Lib.List.last ts) in
          let tagt = tag c.frame.inst y in
          let args, vs' = i32_split (Int32.sub n 1l) vs e.at in
          (* NOTE(dhil): Slight hack here. We update the arity of given