diff options
Diffstat (limited to 'src/Execution/Allocator.php')
| -rw-r--r-- | src/Execution/Allocator.php | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/Execution/Allocator.php b/src/Execution/Allocator.php index 730574b..299e761 100644 --- a/src/Execution/Allocator.php +++ b/src/Execution/Allocator.php @@ -44,7 +44,7 @@ final readonly class Allocator /** * @param list<ExternVal> $externVals - * @param list<Val> $vals + * @param list<int|float|Ref> $vals * @param list<list<Ref>> $refsList * @param list<int> $preAllocatedFuncs */ @@ -134,7 +134,7 @@ final readonly class Allocator return count($this->store->mems) - 1; } - private function allocGlobal(GlobalType $globalType, Val $val): int + private function allocGlobal(GlobalType $globalType, int|float|Ref $val): int { $globalInst = new GlobalInst($globalType, $val); $this->store->globals[] = $globalInst; |