From f3c3bf56094a4e15b9b33f7b9aa6d405eefacd53 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Daniel=20Hillerstr=C3=B6m?= Date: Sun, 8 Sep 2024 16:13:41 +0200 Subject: [PATCH] tweak --- interpreter/valid/valid.ml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/interpreter/valid/valid.ml b/interpreter/valid/valid.ml index eb0f308b4e..a246c48672 100644 --- a/interpreter/valid/valid.ml +++ b/interpreter/valid/valid.ml @@ -439,12 +439,12 @@ let check_memop (c : context) (memop : ('t, 's) memop) ty_size get_sz at = * declarative typing rules. *) -let check_resume_table (c : context) hdlt ts2 (xys : (idx * hdl) list) at = +let check_resume_table (c : context) hrt ts2 (xys : (idx * hdl) list) at = List.iter (fun (x1, x2) -> match x2 with | OnLabel x2 -> let FuncT (ts3, ts4) = - match hdlt with + match hrt with | Some rt -> let FuncT (ts3, ts4) = func_type_of_tag_type c (tag c x1) x1.at in FuncT (ts3, ts4 @ [RefT rt])