Repository navigation

0.4.0 - #34

Open

math3usmartins wants to merge 47 commits into

mainfrom

0.4.x

Commits on Aug 5, 2026
- test: make compile-fixture verify files explicit typed closures
  
  math3usmartins
  and
  claude
  committed
  703cccd
- feat(specializer): substitute method-generic turbofish args on all call-node kinds
  
  math3usmartins
  and
  claude
  committed
  3a6c71e
- feat(monomorphize): ground named-forward turbofish via an append drain
  
  math3usmartins
  and
  claude
  committed
  26a4151
- feat(monomorphize): ground enclosing-param method turbofish per class specialization
  
  math3usmartins
  and
  claude
  committed
  71e2ea5
- feat(monomorphize): ground enclosing-param instance turbofish per class specialization
  
  math3usmartins
  and
  claude
  committed
  6952042
- docs: document enclosing-param turbofish grounding
  
  math3usmartins
  and
  claude
  committed
  485982c
- fix(monomorphize): confine spec grounding to the spec's own body and align check diagnostics
  
  math3usmartins
  and
  claude
  committed
  987f52a
- fix(monomorphize): prune retained templates from the check backstop, severity-aware dedupe
  
  math3usmartins
  and
  claude
  committed
  955646b
- refactor(monomorphize): reattach constructor docblock and skip templates in grounding pre-scan
  
  math3usmartins
  and
  claude
  committed
  c1f76a9
- docs: clarify that forwarding a method-level type parameter is unsupported
  
  math3usmartins
  and
  claude
  committed
  a31a2a3
- ci(mutation): run mutation tests only when src/ or test/ changed
  math3usmartins
  committed
  868317d
- build(commitlint): enforce Conventional Commit messages with the same tool locally and in CI
  
  math3usmartins
  and
  claude
  committed
  aa26911
- ci(commitlint): gate pull requests on Conventional Commit messages
  
  math3usmartins
  and
  claude
  committed
  a04dba9
- fix(commitlint): reinstall stale node_modules and require the compose plugin
  math3usmartins
  committed
  799289f
- fix(commitlint): run the node service behind a compose profile
  math3usmartins
  committed
  d278204
- docs(comparison): note the absence of type-argument inference
  
  math3usmartins
  and
  claude
  committed
  db98cbb
- docs(comparison): flag five features as supported-with-caveats, not fully supported
  
  math3usmartins
  and
  claude
  committed
  327acee
- docs(comparison): correct RFC/Kotlin/TS marks, verified against real compilers
  
  math3usmartins
  and
  claude
  committed
  90927fa
- docs(comparison): link the self-reintroducing-specialization caveat
  
  math3usmartins
  and
  claude
  committed
  21b711a
- feat(inference): add pure type-argument unifier and inference driver
  
  math3usmartins
  and
  claude
  committed
  407890a
- feat(inference): type literals and constructions for inference
  
  math3usmartins
  and
  claude
  committed
  f553b5a
- feat(monomorphize): infer type arguments for generic calls
  
  math3usmartins
  and
  claude
  committed
  c174d9c
- feat(monomorphize): infer type arguments for bare `new`
  
  math3usmartins
  and
  claude
  committed
  d88ac68
- fix(monomorphize): reword the missing-turbofish diagnostic for inference
  
  math3usmartins
  and
  claude
  committed
  103df6b
- docs(inference): document optional turbofish via type-argument inference
  
  math3usmartins
  and
  claude
  committed
  4f7ca12
- fix(monomorphize): don't infer a call argument typed by a type parameter
  
  math3usmartins
  and
  claude
  committed
  763b109
- docs(inference): note the simple-name type-parameter collision fallback
  
  math3usmartins
  and
  claude
  committed
  a4a35dd
- fix(monomorphize): infer bare `new` bottom-up so nested generics match
  
  math3usmartins
  and
  claude
  committed
  540a734
- feat(monomorphize): strip type-alias declarations at scan
  
  math3usmartins
  and
  claude
  committed
  4e39e0d
- feat(monomorphize): expand type-alias uses before specialization
  
  math3usmartins
  and
  claude
  committed
  5c0302c
- feat(monomorphize): dedicated diagnostics for type-alias rejections
  
  math3usmartins
  and
  claude
  committed
  585d933
- docs(type-aliases): document the feature, ADR-0023, roadmap, changelog
  
  math3usmartins
  and
  claude
  committed
  729e16c
- feat(monomorphize): union and nullable type-alias bodies
  
  math3usmartins
  and
  claude
  committed
  89bab9d
- feat(monomorphize): whole-program (cross-file) type aliases
  
  math3usmartins
  and
  claude
  committed
  396b7e0
- docs(type-aliases): document union/nullable bodies and cross-file
  
  math3usmartins
  and
  claude
  committed
  b5df8cc
- feat(monomorphize): apply defaults for generic type-alias parameters
  
  math3usmartins
  and
  claude
  committed
  0dbd663
- feat(monomorphize): enforce generic type-alias parameter bounds
  
  math3usmartins
  and
  claude
  committed
  d97d702
- docs(type-aliases): document parameter defaults and bounds
  
  math3usmartins
  and
  claude
  committed
  5423490
- fix(monomorphize): drop a file's alias-bound obligations when its parse aborts
  
  math3usmartins
  and
  claude
  committed
  34759a3
- fix(monomorphize): expand a type alias used as a parameter bound
  
  math3usmartins
  and
  claude
  committed
  79bcc03
- docs(type-aliases): note alias-in-bound support and the single-namespace assumption
  
  math3usmartins
  and
  claude
  committed
  5743023
- docs(type-aliases): sync comparison grid, error catalog, and feature indexes
  
  math3usmartins
  and
  claude
  committed
  daec172
- feat(monomorphize): make type aliases file-local (drop cross-file pre-pass)
  
  math3usmartins
  and
  claude
  committed
  b6dfa6b
- docs(type-aliases): reframe file-locality as by-design, not a limitation
  
  math3usmartins
  and
  claude
  committed
  fef5546
- fix(monomorphize): correct alias-body message + guard argument-path cycle
  
  math3usmartins
  and
  claude
  committed
  1c4694f
Commits on Aug 6, 2026
- Merge pull request #32 from xphp-lang/feature/type-aliases
  math3usmartins
  authored
  c6c3553
- docs(changelog): cut the 0.4.0 release
  
  math3usmartins
  and
  claude
  committed
  88de480

Commits

Commits on Aug 5, 2026

Commits on Aug 6, 2026