From f43a2a8455c0426b42fedbb7ebb96453c7b455bb Mon Sep 17 00:00:00 2001 From: Pierre Chambart Date: Mon, 7 Oct 2024 14:57:56 +0200 Subject: [PATCH] Fix ref i31 casting/creation --- wasm/emit_wat.ml | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/wasm/emit_wat.ml b/wasm/emit_wat.ml index 9604fac19..404cd3497 100644 --- a/wasm/emit_wat.ml +++ b/wasm/emit_wat.ml @@ -2053,12 +2053,12 @@ module ToWasm = struct let conv_unop (op : Expr.unop) arg = match op with | I31_get_s -> Cst.node "i31.get_s" [ arg ] - | I31_new -> Cst.node "i31.new" [ arg ] + | I31_new -> Cst.node "ref.i31" [ arg ] | Struct_get { typ; field } -> C.struct_get typ field arg | Struct_get_packed { typ; field; extend } -> C.struct_get_packed extend typ field arg - | Ref_cast_i31 -> Cst.node "ref.cast" [ Cst.atom "i31"; arg ] - | Is_i31 -> Cst.node "ref.test" [ Cst.atom "i31"; arg ] + | Ref_cast_i31 -> Cst.node "ref.cast" [ Cst.node "ref" [Cst.atom "i31"]; arg ] + | Is_i31 -> Cst.node "ref.test" [ Cst.node "ref" [Cst.atom "i31"]; arg ] | Array_len t -> C.array_len t arg | Reinterpret { from_type; to_type } -> let name =