feat(type-aliases): file-local generic type aliases via compile-time substitution - #32

Merged

math3usmartins merged 17 commits into

0.4.xfrom

feature/type-aliases

Aug 6, 2026

Commits on Aug 5, 2026

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

Navigation Menu

Uh oh!

Uh oh!

feat(type-aliases): file-local generic type aliases via compile-time substitution - #32

feat(type-aliases): file-local generic type aliases via compile-time substitution#32
math3usmartins merged 17 commits into
0.4.xfrom
feature/type-aliases

Commits on Aug 5, 2026

feat(monomorphize): strip type-alias declarations at scan

feat(monomorphize): expand type-alias uses before specialization

feat(monomorphize): dedicated diagnostics for type-alias rejections

docs(type-aliases): document the feature, ADR-0023, roadmap, changelog

feat(monomorphize): union and nullable type-alias bodies

feat(monomorphize): whole-program (cross-file) type aliases

docs(type-aliases): document union/nullable bodies and cross-file

feat(monomorphize): apply defaults for generic type-alias parameters

feat(monomorphize): enforce generic type-alias parameter bounds

docs(type-aliases): document parameter defaults and bounds

fix(monomorphize): drop a file's alias-bound obligations when its parse aborts

fix(monomorphize): expand a type alias used as a parameter bound

docs(type-aliases): note alias-in-bound support and the single-namespace assumption

docs(type-aliases): sync comparison grid, error catalog, and feature indexes

feat(monomorphize): make type aliases file-local (drop cross-file pre-pass)

docs(type-aliases): reframe file-locality as by-design, not a limitation

fix(monomorphize): correct alias-body message + guard argument-path cycle