Implement pattern matching

Author: iluuu1994

Zend/tests/numeric_literal_separator_002.phpt

@@ -5,4 +5,4 @@ Invalid use: trailing underscore
 100_;
 ?>
 --EXPECTF--
-Parse error: syntax error, unexpected identifier "_" in %s on line %d
+Parse error: syntax error, unexpected token "_" in %s on line %d

Zend/tests/numeric_literal_separator_004.phpt

@@ -5,4 +5,4 @@ Invalid use: underscore left of period
 100_.0;
 ?>
 --EXPECTF--
-Parse error: syntax error, unexpected identifier "_" in %s on line %d
+Parse error: syntax error, unexpected token "_" in %s on line %d

Zend/tests/pattern_matching/is/and.phpt

@@ -0,0 +1,29 @@
+--TEST--
+And pattern
+--FILE--
+<?php
+
+interface A {}
+interface B {}
+interface C {}
+class Foo implements A, B {}
+
+var_dump(1 is int & 1);
+var_dump(2 is int & (1|2));
+var_dump(3 is float & 1);
+var_dump(4 is int & float);
+var_dump([] is [] & [...]);
+var_dump('foo' is string & 'bar');
+var_dump(new Foo() is A&B);
+var_dump(new Foo() is (A&C));
+
+?>
+--EXPECT--
+bool(true)
+bool(true)
+bool(false)
+bool(false)
+bool(true)
+bool(false)
+bool(true)
+bool(false)

Zend/tests/pattern_matching/is/array.phpt

@@ -0,0 +1,30 @@
+--TEST--
+Array pattern
+--FILE--
+<?php
+
+var_dump([] is []);
+var_dump(42 is []);
+var_dump('foo' is []);
+var_dump([42] is [42]);
+var_dump([42] is []);
+var_dump([42] is [43]);
+var_dump([42] is ['0' => 42]);
+var_dump([42, 43] is [42]);
+var_dump([42, 43] is [42, ...]);
+var_dump([42] is [$a]);
+var_dump($a);
+
+?>
+--EXPECT--
+bool(true)
+bool(false)
+bool(false)
+bool(true)
+bool(false)
+bool(false)
+bool(true)
+bool(false)
+bool(true)
+bool(true)
+int(42)

Zend/tests/pattern_matching/is/array_mixed_keys.phpt

@@ -0,0 +1,10 @@
+--TEST--
+Array pattern with mixed implicit and explicit keys
+--FILE--
+<?php
+
+var_dump([] is ['foo', 1 => 'bar']);
+
+?>
+--EXPECTF--
+Fatal error: Must not mix implicit and explicit array keys in array pattern in %s on line %d

Zend/tests/pattern_matching/is/bail.phpt

@@ -0,0 +1,43 @@
+--TEST--
+Object pattern matching
+--FILE--
+<?php
+
+$o = new stdClass();
+
+try {
+    var_dump($o is self {});
+} catch (Throwable $e) {
+    echo $e->getMessage(), "\n";
+}
+
+try {
+    var_dump($o is parent {});
+} catch (Throwable $e) {
+    echo $e->getMessage(), "\n";
+}
+
+try {
+    var_dump($o is static {});
+} catch (Throwable $e) {
+    echo $e->getMessage(), "\n";
+}
+
+class C {
+    public static function test($o) {
+        try {
+            var_dump($o is parent {});
+        } catch (Throwable $e) {
+            echo $e->getMessage(), "\n";
+        }
+    }
+}
+
+C::test($o);
+
+?>
+--EXPECT--
+Cannot access "self" when no class scope is active
+Cannot access "parent" when no class scope is active
+Cannot access "static" when no class scope is active
+Cannot access "parent" when current class scope has no parent

Zend/tests/pattern_matching/is/binding.phpt

@@ -0,0 +1,49 @@
+--TEST--
+Binding pattern
+--FILE--
+<?php
+
+class Box {
+    public function __construct(
+        public $value,
+    ) {}
+}
+
+class NotBox {
+    public function __construct(
+        public $value,
+    ) {}
+}
+
+var_dump(10 is $a);
+var_dump($a);
+
+var_dump('Hello world' is $a);
+var_dump($a);
+
+var_dump(new Box(42) is Box { value: $a });
+var_dump($a);
+
+var_dump(new NotBox(43) is Box { value: $a });
+var_dump($a);
+
+var_dump(43 is $a @ int);
+var_dump($a);
+
+var_dump([] is $a @ string);
+var_dump($a);
+
+?>
+--EXPECT--
+bool(true)
+int(10)
+bool(true)
+string(11) "Hello world"
+bool(true)
+int(42)
+bool(false)
+int(42)
+bool(true)
+int(43)
+bool(false)
+int(43)

Zend/tests/pattern_matching/is/binding_destruct.phpt

@@ -0,0 +1,29 @@
+--TEST--
+Object pattern matching destructor
+--FILE--
+<?php
+
+class Foo {
+    public function __destruct() {
+        throw new Exception('Here');
+    }
+}
+
+$foo = new Foo();
+$bar = 'bar';
+
+try {
+    42 is $foo or $bar;
+} catch (Exception $e) {
+    echo $e->getMessage(), "\n";
+}
+
+// FIXME: This will change once bindings are delayed
+var_dump($foo);
+var_dump($bar);
+
+?>
+--EXPECT--
+Here
+int(42)
+string(3) "bar"

Zend/tests/pattern_matching/is/class_constant.phpt

@@ -0,0 +1,44 @@
+--TEST--
+Class constant pattern
+--FILE--
+<?php
+
+class Foo {
+    const A = 'a';
+    private const B = 'b';
+
+    public static function test() {
+        var_dump('b' is self::B);
+        var_dump('c' is self::B);
+    }
+}
+enum Bar {
+    case A;
+}
+
+var_dump('a' is Foo::A);
+var_dump('b' is Foo::A);
+try {
+    var_dump('a' is Foo::B);
+} catch (Error $e) {
+    echo $e->getMessage(), "\n";
+}
+try {
+    var_dump('a' is Foo::C);
+} catch (Error $e) {
+    echo $e->getMessage(), "\n";
+}
+Foo::test();
+var_dump(Bar::A is Bar::A);
+var_dump('foo' is Bar::A);
+
+?>
+--EXPECT--
+bool(true)
+bool(false)
+Cannot access private constant Foo::B
+Undefined constant Foo::C
+bool(true)
+bool(false)
+bool(true)
+bool(false)

Zend/tests/pattern_matching/is/compound_parentheses_1.phpt

@@ -0,0 +1,8 @@
+--TEST--
+Nested compound patterns require parentheses
+--FILE--
+<?php
+var_dump(42 is Foo|Bar&Baz);
+?>
+--EXPECTF--
+Fatal error: Nested compound pattern must be parenthesized in %s on line %d

Zend/tests/pattern_matching/is/compound_parentheses_2.phpt

@@ -0,0 +1,8 @@
+--TEST--
+Nested compound patterns require parentheses
+--FILE--
+<?php
+var_dump(42 is Foo&Bar|Baz);
+?>
+--EXPECTF--
+Fatal error: Nested compound pattern must be parenthesized in %s on line %d

Zend/tests/pattern_matching/is/delayed_binding.phpt

@@ -0,0 +1,50 @@
+--TEST--
+Delayed binding
+--FILE--
+<?php
+
+class Pair {
+    public function __construct(public $a, public $b) {}
+}
+
+var_dump(new Pair(1, 2) is Pair { a: $a, b: $b });
+var_dump($a, $b);
+unset($a, $b);
+
+var_dump(new Pair(1, 2) is Pair { a: $a, b: 3 });
+var_dump($a, $b);
+unset($a, $b);
+
+var_dump(new Pair(new \stdClass(), 2) is Pair { a: $a, b: 2 });
+var_dump($a, $b);
+unset($a, $b);
+
+var_dump(new Pair(new \stdClass(), 2) is Pair { a: $a, b: 3 });
+var_dump($a, $b);
+unset($a, $b);
+
+?>
+--EXPECTF--
+bool(true)
+int(1)
+int(2)
+bool(false)
+
+Warning: Undefined variable $a in %s on line %d
+
+Warning: Undefined variable $b in %s on line %d
+NULL
+NULL
+bool(true)
+
+Warning: Undefined variable $b in %s on line %d
+object(stdClass)#2 (0) {
+}
+NULL
+bool(false)
+
+Warning: Undefined variable $a in %s on line %d
+
+Warning: Undefined variable $b in %s on line %d
+NULL
+NULL