feat(monomorphize): richer type-alias bodies (intersection, DNF, closure signatures) - #35

Open

math3usmartins wants to merge 18 commits into

0.4.xfrom

feature/richer-alias-bodies

Commits on Aug 6, 2026

refactor(monomorphize): represent an alias body as a DNF AliasBody VO

math3usmartins
and
claude
committed
ccc5d69
feat(monomorphize): accept intersection and DNF type-alias bodies

math3usmartins
and
claude
committed
dd9e38a
docs(type-aliases): document intersection and DNF bodies

math3usmartins
and
claude
committed
4f8438f

Commits on Aug 7, 2026

fix(monomorphize): dedupe redundant intersection and union alias members

math3usmartins
and
claude
committed
6bd12e1
feat(monomorphize): accept closure-signature type-alias bodies

math3usmartins
and
claude
committed
87c49c2
docs(type-aliases): document closure-signature bodies

math3usmartins
and
claude
committed
bc0a703
test(monomorphize): cover closure-sig alias parse edge cases

math3usmartins
and
claude
committed
1022cec
fix(monomorphize): handle a closure-sig alias reached transitively

math3usmartins
and
claude
committed
26efe7b
Merge branch 'feat/alias-intersection-dnf' into feature/richer-alias-bodies
math3usmartins
committed
6f992d3
Merge branch 'feat/alias-closure-sig' into feature/richer-alias-bodies
math3usmartins
committed
b9f0c38
docs(type-aliases): sync roadmap, comparison, index, and ADR with the full body set

math3usmartins
and
claude
committed
35a340c
feat(monomorphize): allow a closure signature as a compound alias-body member

math3usmartins
and
claude
committed
e6701e2
docs(type-aliases): a closure signature can be a compound member

math3usmartins
and
claude
committed
3ef9b2a
refactor(monomorphize): tighten closure-in-compound parse for mutation coverage

math3usmartins
and
claude
committed
87fe46f
Merge branch 'feat/alias-closure-in-compound' into feature/richer-alias-bodies
math3usmartins
committed
9e0678a
test(monomorphize): name the closure fixture source after its class

math3usmartins
and
claude
committed
7db0d64
fix(monomorphize): make alias member dedup case-insensitive

math3usmartins
and
claude
committed
db1a1c5

Commits on Aug 9, 2026

test(monomorphize): cover null-valued nullable closure-sig slot at runtime

math3usmartins
and
claude
committed
9edd341