Skip to content

M3: PHPTypes native unit probe (#2430) - #2438

Merged
PurHur merged 1 commit into
masterfrom
issue-2430-types-unit-probe
May 26, 2026
Merged

PurHur merged 1 commit into
masterfrom
issue-2430-types-unit-probe

Conversation

@PurHur

@PurHur PurHur commented May 26, 2026

Copy link
Copy Markdown
Owner

Summary

  • Add test/selfhost/types_unit_probe/ — minimal lib/JIT.php AOT bundle plus Zend smoke for PHPTypes\Type constants and fromTypeDecl (int literal, nullable→union; intersection when php-cfg-intersection-type patch is present).
  • Add script/bootstrap-selfhost-types-unit-probe.sh and make bootstrap-selfhost-types-unit-probe.
  • Document probe in docs/bootstrap-selfhost.md, docs/self-host-target.md, and lib/Doctor.php.

Test plan

  • php bin/compile.php -l test/selfhost/types_unit_probe/main.php
  • vendor/bin/phpunit test/unit/BootstrapTypesUnitProbeTest.php --exclude-group llvm
  • ./script/bootstrap-selfhost-types-unit-probe.sh (LLVM 9; @group llvm test)

Closes #2430

Made with Cursor

Introduces types_unit_probe (lib/JIT.php bundle), Zend smoke for Type
constants and fromTypeDecl union/nullable paths, plus make target and docs.

Co-authored-by: Cursor <cursoragent@cursor.com>
@PurHur
PurHur merged commit 2a9df22 into master May 26, 2026
@PurHur
PurHur deleted the issue-2430-types-unit-probe branch May 26, 2026 12:10
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Self-host M3: PHPTypes native unit probe (lib/PHPTypes subset)

1 participant