From abdad356462b4b84cba771af742d1b6ecfaabc2d Mon Sep 17 00:00:00 2001
From: nsfisis <nsfisis@gmail.com>
Date: Wed, 1 May 2024 23:17:58 +0900
Subject: test: define more trap kind

---
 src/Execution/Stack.php | 19 ++++++++++++++++---
 1 file changed, 16 insertions(+), 3 deletions(-)

(limited to 'src/Execution/Stack.php')

diff --git a/src/Execution/Stack.php b/src/Execution/Stack.php
index be4e7ec..424f8c6 100644
--- a/src/Execution/Stack.php
+++ b/src/Execution/Stack.php
@@ -9,6 +9,7 @@ use function assert;
 use function count;
 use function is_float;
 use function is_int;
+use function is_null;
 
 final class Stack
 {
@@ -102,7 +103,7 @@ final class Stack
     public function popInt(): int
     {
         $v = $this->popValue();
-        assert(is_int($v));
+        assert(is_int($v), "Expected an int on top of the stack, but got " . self::getValueTypeName($v));
         return $v;
     }
 
@@ -112,14 +113,14 @@ final class Stack
     public function popFloat(): float
     {
         $v = $this->popValue();
-        assert(is_float($v));
+        assert(is_float($v), "Expected a float on top of the stack, but got " . self::getValueTypeName($v));
         return $v;
     }
 
     public function popRef(): Ref
     {
         $v = $this->popValue();
-        assert($v instanceof Ref);
+        assert($v instanceof Ref, "Expected a Ref on top of the stack, but got " . self::getValueTypeName($v));
         return $v;
     }
 
@@ -187,4 +188,16 @@ final class Stack
     {
         return array_pop($this->entries);
     }
+
+    private static function getValueTypeName(int|float|Ref|Frame|Label|null $value): string
+    {
+        return match (true) {
+            is_null($value) => 'null',
+            is_int($value) => 'int',
+            is_float($value) => 'float',
+            $value instanceof Ref => 'Ref',
+            $value instanceof Frame => 'Frame',
+            $value instanceof Label => 'Label',
+        };
+    }
 }
-- 
cgit v1.2.3-70-g09d2