aboutsummaryrefslogtreecommitdiffhomepage
path: root/src/WebAssembly/Execution/Stack.php
diff options
context:
space:
mode:
Diffstat (limited to 'src/WebAssembly/Execution/Stack.php')
-rw-r--r--src/WebAssembly/Execution/Stack.php7
1 files changed, 5 insertions, 2 deletions
diff --git a/src/WebAssembly/Execution/Stack.php b/src/WebAssembly/Execution/Stack.php
index 4181dcd..befa3dc 100644
--- a/src/WebAssembly/Execution/Stack.php
+++ b/src/WebAssembly/Execution/Stack.php
@@ -4,7 +4,7 @@ declare(strict_types=1);
namespace Nsfisis\Waddiwasi\WebAssembly\Execution;
-use Nsfisis\Waddiwasi\WebAssembly\Structure\Types\RefType;
+use Nsfisis\Waddiwasi\WebAssembly\Structure\Types\ValType;
use function assert;
use function count;
use function is_float;
@@ -54,7 +54,10 @@ final class Stack
$this->pushValue((int)$value);
}
- public function pushRefNull(RefType $type): void
+ /**
+ * @param ValType::FuncRef|ValType::ExternRef $type
+ */
+ public function pushRefNull(ValType $type): void
{
$this->pushValue(Ref::RefNull($type));
}