Skip to content

feat(self-host): AOT lint for all top-level lib/*.php units#534

Merged
PurHur merged 1 commit into
masterfrom
fix/lib-aot-lint-remaining
May 22, 2026
Merged

feat(self-host): AOT lint for all top-level lib/*.php units#534
PurHur merged 1 commit into
masterfrom
fix/lib-aot-lint-remaining

Conversation

@PurHur
Copy link
Copy Markdown
Owner

@PurHur PurHur commented May 22, 2026

Summary

  • php-types generics/pseudo-type fallback (list<>, non-empty-string, etc.)
  • StaticPropertyFetch and Terminal_Unset lowering (VM/JIT stubs)
  • Nullable compileOperand / BinaryOp operands for Printer-style CFG
  • LibCoreAotLintTest — all 14 lib/*.php pass php bin/compile.php -l

Test plan

  • vendor/bin/phpunit test/unit/LibCoreAotLintTest.php
  • php script/bootstrap-aot-lint.php / ./script/bootstrap-aot-link.sh

Tracks self-host #212 / #78.

Made with Cursor

- php-types patch for list/array generics and pseudo-types (non-empty-string)
- StaticPropertyFetch, Terminal_Unset, nullable BinaryOp operands
- LibCoreAotLintTest covers Doctor, JIT, Printer, and core lib gates

Co-authored-by: Cursor <cursoragent@cursor.com>
@PurHur PurHur merged commit a9a331d into master May 22, 2026
@PurHur PurHur deleted the fix/lib-aot-lint-remaining branch May 22, 2026 14:25
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.

1 participant