revert change on refnull

Generative-Program-Analysis · Nov 27, 2024 · 1079b28 · 1079b28
1 parent f347473
commit 1079b28
Show file tree

Hide file tree

Showing 2 changed files with 11 additions and 2 deletions.
diff --git a/benchmarks/wasm/wasmfx/resume2.wat b/benchmarks/wasm/wasmfx/resume2.wat
@@ -0,0 +1,9 @@
+(module
+  (type $f1 (func (result i32)))
+  (type $c1 (cont $f1))
+  (func $f42 (result i32) (i32.const 42))
+  (elem declare func $f42)
+  (func (export "main") (result i32)
+    (resume $c1 (cont.new $c1 (ref.func $f42)))
+  )
+)
diff --git a/src/main/scala/wasm/AST.scala b/src/main/scala/wasm/AST.scala
@@ -318,8 +318,8 @@ trait Callable
 
 // https://webassembly.github.io/function-references/core/exec/runtime.html
 abstract class Ref extends Value with Callable
-case class RefNullV() extends Ref {
-  def tipe(implicit m: ModuleInstance): ValueType = ???
+case class RefNullV(t: HeapType) extends Ref {
+  def tipe(implicit m: ModuleInstance): ValueType = RefType(t)
 }
 case class RefFuncV(funcAddr: Int) extends Ref {
   def tipe(implicit m: ModuleInstance): ValueType =