Fix global.set too

dhil · Aug 1, 2024 · 4991690 · 4991690
1 parent 99047a7
commit 4991690
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 4 deletions.
diff --git a/interpreter/runtime/global.ml b/interpreter/runtime/global.ml
@@ -21,5 +21,4 @@ let load glob =
 let store glob v =
   let GlobalT (mut, t) = glob.ty in
   if mut <> Var then raise NotMutable;
-  if not (Match.match_val_type [] (type_of_value v) t) then raise Type;
   glob.content <- v
diff --git a/test/core/cont.wast b/test/core/cont.wast
@@ -663,6 +663,10 @@
   (global $k (mut (ref null $ct)) (ref.null $ct))
   (global $g (ref null $ct) (ref.null $ct))
 
-  (func (param $c (ref $ct))
-    (global.set $k (local.get $c)))
-)
+  (func $f)
+  (elem declare func $f)
+
+  (func (export "set-global")
+    (global.set $k (cont.new $ct (ref.func $f))))
+)
+(assert_return (invoke "set-global"))