(!) Closure signature types, out/in variance markers, and a validating compile gate#23

Merged

math3usmartins merged 88 commits into

0.3.xfrom

feat/closure-signature-types

Jul 12, 2026

Commits on Jul 6, 2026

feat(closure-sig): add closure-signature type representation

math3usmartins
and
claude
committed
feat(closure-sig): parse and erase closure signature types

math3usmartins
and
claude
committed
fix(closure-sig): recognize keyword types, length-preserve erasure, byte-key markers

math3usmartins
and
claude
committed
feat(closure-sig): add closure-signature conformance engine

math3usmartins
and
claude
committed
feat(closure-sig): extract a closure literal's declared signature

math3usmartins
and
claude
committed
feat(monomorphize): gate closure-literal factories against their Closure(...) return type

math3usmartins
and
claude
committed
feat(monomorphize): re-check closure factories after grounding their generic return type

math3usmartins
and
claude
committed
fix(monomorphize): accept a closure factory whose return targets a built-in supertype

math3usmartins
and
claude
committed
docs: document Closure(...) signature types and conformance checking

math3usmartins
and
claude
committed
feat(monomorphize): variance-check union and intersection members in closure signatures

math3usmartins
and
claude
committed
feat(monomorphize): structure a closure literal's union/intersection/nullable types

math3usmartins
and
claude
committed
feat(monomorphize): structure flat union/intersection/nullable in target signatures

math3usmartins
and
claude
committed
feat(monomorphize): ground type parameters inside union/intersection signature members

math3usmartins
and
claude
committed
test(monomorphize): pin the sub-intersection gradual-accept paths against compound supers

math3usmartins
and
claude
committed
docs: document union, intersection, and nullable members in Closure(...) signatures

math3usmartins
and
claude
committed
docs: sharpen closure-signature DNF limitation and a code comment

math3usmartins
and
claude
committed
fix(monomorphize): map anonymous template markers through the byte-offset map

math3usmartins
and
claude
committed
docs(changelog): record the generic-closure marker offset fix

math3usmartins
and
claude
committed
fix(monomorphize): scan parenthesised DNF groups as single signature type leaves

math3usmartins
and
claude
committed
docs: DNF groups in closure signatures are now gradual, not unsupported

math3usmartins
and
claude
committed
fix(monomorphize): resolve fully-qualified literal types absolutely in conformance

math3usmartins
and
claude
committed
docs(changelog): record the fully-qualified literal-type conformance fix

math3usmartins
and
claude
committed
fix(monomorphize): bind relative namespace\Foo literal types to the namespace, not a use alias

math3usmartins
and
claude
committed
test(monomorphize): pin the scanner shapes two equivalence claims got wrong

math3usmartins
and
claude
committed
fix(monomorphize): lower array-sugar leaves inside Closure signatures to array

math3usmartins
and
claude
committed
docs: array-sugar leaves in closure signatures lower to array

math3usmartins
and
claude
committed
fix(monomorphize): consume chained array sugar whole inside Closure signatures

math3usmartins
and
claude
committed
fix(monomorphize): bind relative namespace\Foo names to the namespace in string resolution

math3usmartins
and
claude
committed
docs(changelog): record the relative-name resolution fix

math3usmartins
and
claude
committed
fix(monomorphize): require a declaration header before treating `) :` as a return slot

math3usmartins
and
claude
committed
docs(changelog): record the return-slot detector fix

math3usmartins
and
claude
committed
fix(monomorphize): prove non-subtyping against built-in targets for closed-world candidates

math3usmartins
and
claude
committed
fix(monomorphize): accept keyword method names and generic clauses in return-slot headers

math3usmartins
and
claude
committed
docs(changelog): record the built-in-target conformance and enum-edge fixes

math3usmartins
and
claude
committed
docs: precise wording for when a built-in conformance target can reject

math3usmartins
and
claude
committed
test(monomorphize): pin the built-in-candidate, aliased-Stringable, and trait-__toString accepts

math3usmartins
and
claude
committed
test(monomorphize): pin the static use-call reject and fix two comment slips

math3usmartins
and
claude
committed

Commits on Jul 7, 2026

Commits on Jul 8, 2026

Commits on Jul 10, 2026

Commits on Jul 11, 2026

Commits on Jul 12, 2026