0.4.0 - #34

Open

math3usmartins wants to merge 47 commits into

mainfrom

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