From 4522e92d5170b917c5933f68dfa0c874e8e1c041 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?J=C3=A9r=C3=B4me=20Vouillon?= Date: Mon, 23 Sep 2024 17:46:11 +0200 Subject: [PATCH] Wasm: do not generate JavaScript strings for predefined exceptions --- compiler/lib/parse_bytecode.ml | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/compiler/lib/parse_bytecode.ml b/compiler/lib/parse_bytecode.ml index 5b9ae08140..ecffba808a 100644 --- a/compiler/lib/parse_bytecode.ml +++ b/compiler/lib/parse_bytecode.ml @@ -795,7 +795,11 @@ let register_global ?(force = false) g i loc rem = | None -> [] | Some name -> Code.Var.name (access_global g i) name; - [ Pc (NativeString (Native_string.of_string name)) ] + [ Pc + (match Config.target () with + | `JavaScript -> NativeString (Native_string.of_string name) + | `Wasm -> String name) + ] in ( Let ( Var.fresh ()