Repository navigation

0.2.0 - #17

Merged

math3usmartins merged 36 commits into

mainfrom

0.2.x

Jun 11, 2026

Merged

0.2.0#17
math3usmartins merged 36 commits into
mainfrom
0.2.x

Commits on Jun 4, 2026
- feat(parser): align call-site syntax with PHP RFC bound-erased generics
  
  math3usmartins
  and
  claude
  committed
  322bb8c
- fix(parser): reject parenless `new Name<…>` + flag unimplemented docs
  
  math3usmartins
  and
  claude
  committed
  f8d3ab7
- docs: link every RFC mention to wiki.php.net/rfc/bound_erased_generic_types
  
  math3usmartins
  and
  claude
  committed
  b779fab
- docs(readme): add inspiration / divergence banner
  
  math3usmartins
  and
  claude
  committed
  364a589
- feat(parser): reject top-level self-reference bounds at declaration time
  
  math3usmartins
  and
  claude
  committed
  c9f8a78
- feat(parser): recognize `self<T>` / `static<T>` / `parent<T>` in type positions
  
  math3usmartins
  and
  claude
  committed
  beb4955
- test(parser): lock anonymous-class generic decl rejection
  
  math3usmartins
  and
  claude
  committed
  ab8918d
- feat(compiler): specialize bare top-level free generic functions
  
  math3usmartins
  and
  claude
  committed
  ec42bcd
Commits on Jun 5, 2026
- fix(parser): wire `self<T>` / `static<T>` / `parent<T>` through compile
  
  math3usmartins
  and
  claude
  committed
  fe426a1
- feat(compiler): specialize instance-method generic calls (item 11)
  
  math3usmartins
  and
  claude
  committed
  0b5ad45
- feat(parser): multi-bound + BoundExpr + F-bounded recursion
  
  math3usmartins
  and
  claude
  committed
  2baca04
- refactor(parser): hoist namespace + use-map tracking into a shared helper
  
  math3usmartins
  and
  claude
  committed
  b83a76c
- feat(parser): default type arguments
  
  math3usmartins
  and
  claude
  committed
  46ecad7
Commits on Jun 6, 2026
- feat(parser): variance annotations +T / -T
  
  math3usmartins
  and
  claude
  committed
  a4969af
- refactor(parser): widen marker shape with bytePosition + kind
  
  math3usmartins
  and
  claude
  committed
  75d0549
- feat(parser): lift defaults to methods + free functions
  
  math3usmartins
  and
  claude
  committed
  819fe0c
- feat(parser): variance validator recurses into method bodies
  
  math3usmartins
  and
  claude
  committed
  ee947db
- feat(parser): recognize generic closures, arrows, and variable turbofish
  
  math3usmartins
  and
  claude
  committed
  42f286d
- feat(parser): specialize generic closures via top-level hoist
  
  math3usmartins
  and
  claude
  committed
  b623d82
- feat(specializer): merge branching receiver types when all arms agree
  
  math3usmartins
  and
  claude
  committed
  41448b1
- feat(parser): strip pseudo-type turbofish without recording a marker
  
  math3usmartins
  and
  claude
  committed
  f8915cd
- feat(specializer): compose inner template variance after defs collect
  
  math3usmartins
  and
  claude
  committed
  6fca224
- feat(specializer): closure dispatcher with sentinel-arg-prefix routing
  
  math3usmartins
  and
  claude
  committed
  343d8a2
- feat(specializer): specialize generic arrows via dispatcher captures
  
  math3usmartins
  and
  claude
  committed
  35d6421
- feat(specializer): specialize closures with use() clauses incl. by-ref
  
  math3usmartins
  and
  claude
  committed
  3cf8ec7
- feat(parser): allow defaults on closures and arrows
  
  math3usmartins
  and
  claude
  committed
  3b5fa59
- test(fixture): durable artifacts for the four dispatcher consumers
  
  math3usmartins
  and
  claude
  committed
  4a4b401
- build(make): remove infection memory limit so dev runs don't OOM
  
  math3usmartins
  and
  claude
  committed
  04b2239
Commits on Jun 7, 2026
- docs(public): refresh docs/ tree with syntax tour, caveats, errors
  
  math3usmartins
  and
  claude
  committed
  2157a48
Commits on Jun 10, 2026
- test: introduce SnapshotHash + CompiledFixture, co-locate fixture
  
  math3usmartins
  and
  claude
  committed
  9124d59
- build(phpstan): adopt at level 5, triage src/ findings to zero
  
  math3usmartins
  and
  claude
  committed
  1df613d
- build(phpstan): raise to level 6, type iterable values
  
  math3usmartins
  and
  claude
  committed
  99f6a17
- build(phpstan): raise to level 7, triage 55 findings to zero
  
  math3usmartins
  and
  claude
  committed
  8201769
- ci(phpstan): gate Core CI on level-7 static analysis
  
  math3usmartins
  and
  claude
  committed
  a70de6d
- test(infection): kill validateInnerVariance escape, justify 6 equivalents
  
  math3usmartins
  and
  claude
  committed
  06673ca
Commits on Jun 11, 2026
- docs(changelog): add CHANGELOG with v0.2.0 release notes
  
  math3usmartins
  and
  claude
  committed
  24e7dbb

Commits

Commits on Jun 4, 2026

Commits on Jun 5, 2026

Commits on Jun 6, 2026

Commits on Jun 7, 2026

Commits on Jun 10, 2026

Commits on Jun 11, 2026