Repository navigation

(!) 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

Merged

(!) Closure signature types, out/in variance markers, and a validating compile gate#23
math3usmartins merged 88 commits into
0.3.xfrom
feat/closure-signature-types

Commits on Jul 6, 2026
- feat(closure-sig): add closure-signature type representation
  
  math3usmartins
  and
  claude
  committed
  2478842
- feat(closure-sig): parse and erase closure signature types
  
  math3usmartins
  and
  claude
  committed
  e957237
- fix(closure-sig): recognize keyword types, length-preserve erasure, byte-key markers
  
  math3usmartins
  and
  claude
  committed
  ed68b37
- feat(closure-sig): add closure-signature conformance engine
  
  math3usmartins
  and
  claude
  committed
  7ed23ce
- feat(closure-sig): extract a closure literal's declared signature
  
  math3usmartins
  and
  claude
  committed
  d0d3a1c
- feat(monomorphize): gate closure-literal factories against their Closure(...) return type
  
  math3usmartins
  and
  claude
  committed
  ea4840d
- feat(monomorphize): re-check closure factories after grounding their generic return type
  
  math3usmartins
  and
  claude
  committed
  dc7e71f
- fix(monomorphize): accept a closure factory whose return targets a built-in supertype
  
  math3usmartins
  and
  claude
  committed
  8f9e695
- docs: document Closure(...) signature types and conformance checking
  
  math3usmartins
  and
  claude
  committed
  2febcea
- feat(monomorphize): variance-check union and intersection members in closure signatures
  
  math3usmartins
  and
  claude
  committed
  1b57397
- feat(monomorphize): structure a closure literal's union/intersection/nullable types
  
  math3usmartins
  and
  claude
  committed
  4618b75
- feat(monomorphize): structure flat union/intersection/nullable in target signatures
  
  math3usmartins
  and
  claude
  committed
  cb773f1
- feat(monomorphize): ground type parameters inside union/intersection signature members
  
  math3usmartins
  and
  claude
  committed
  f16f4e3
- test(monomorphize): pin the sub-intersection gradual-accept paths against compound supers
  
  math3usmartins
  and
  claude
  committed
  0158e40
- docs: document union, intersection, and nullable members in Closure(...) signatures
  
  math3usmartins
  and
  claude
  committed
  bde729f
- docs: sharpen closure-signature DNF limitation and a code comment
  
  math3usmartins
  and
  claude
  committed
  5e8a10e
- fix(monomorphize): map anonymous template markers through the byte-offset map
  
  math3usmartins
  and
  claude
  committed
  af058e6
- docs(changelog): record the generic-closure marker offset fix
  
  math3usmartins
  and
  claude
  committed
  157c992
- fix(monomorphize): scan parenthesised DNF groups as single signature type leaves
  
  math3usmartins
  and
  claude
  committed
  e67cf4b
- docs: DNF groups in closure signatures are now gradual, not unsupported
  
  math3usmartins
  and
  claude
  committed
  9d5a705
- fix(monomorphize): resolve fully-qualified literal types absolutely in conformance
  
  math3usmartins
  and
  claude
  committed
  4a43de5
- docs(changelog): record the fully-qualified literal-type conformance fix
  
  math3usmartins
  and
  claude
  committed
  6f90639
- fix(monomorphize): bind relative namespace\Foo literal types to the namespace, not a use alias
  
  math3usmartins
  and
  claude
  committed
  027f64a
- test(monomorphize): pin the scanner shapes two equivalence claims got wrong
  
  math3usmartins
  and
  claude
  committed
  233facc
- fix(monomorphize): lower array-sugar leaves inside Closure signatures to array
  
  math3usmartins
  and
  claude
  committed
  8906615
- docs: array-sugar leaves in closure signatures lower to array
  
  math3usmartins
  and
  claude
  committed
  f77704b
- fix(monomorphize): consume chained array sugar whole inside Closure signatures
  
  math3usmartins
  and
  claude
  committed
  36626e4
- fix(monomorphize): bind relative namespace\Foo names to the namespace in string resolution
  
  math3usmartins
  and
  claude
  committed
  3c15c7c
- docs(changelog): record the relative-name resolution fix
  
  math3usmartins
  and
  claude
  committed
  9e951af
- fix(monomorphize): require a declaration header before treating `) :` as a return slot
  
  math3usmartins
  and
  claude
  committed
  22f900b
- docs(changelog): record the return-slot detector fix
  
  math3usmartins
  and
  claude
  committed
  b62aba4
- fix(monomorphize): prove non-subtyping against built-in targets for closed-world candidates
  
  math3usmartins
  and
  claude
  committed
  3a5dc7b
- fix(monomorphize): accept keyword method names and generic clauses in return-slot headers
  
  math3usmartins
  and
  claude
  committed
  598f28b
- docs(changelog): record the built-in-target conformance and enum-edge fixes
  
  math3usmartins
  and
  claude
  committed
  29a1b6f
- docs: precise wording for when a built-in conformance target can reject
  
  math3usmartins
  and
  claude
  committed
  a001201
- test(monomorphize): pin the built-in-candidate, aliased-Stringable, and trait-__toString accepts
  
  math3usmartins
  and
  claude
  committed
  f2bbaa6
- test(monomorphize): pin the static use-call reject and fix two comment slips
  
  math3usmartins
  and
  claude
  committed
  59cf33b
Commits on Jul 7, 2026
- fix(monomorphize): preserve newlines when stripping generic clauses and sugar spans
  
  math3usmartins
  and
  claude
  committed
  083b5c1
- fix(monomorphize): anchor anonymous-closure markers at the node's true start
  
  math3usmartins
  and
  claude
  committed
  f815bef
- fix(monomorphize): match named generic markers on the declaration name's line
  
  math3usmartins
  and
  claude
  committed
  1cd8b74
- feat(monomorphize): loud backstop for generic markers that never bind
  
  math3usmartins
  and
  claude
  committed
  00ffbeb
- feat(monomorphize): resolve php-parser Names through a qualification-aware seam
  
  math3usmartins
  and
  claude
  committed
  68995a2
- fix(monomorphize): honor FQ and relative spellings at generic call sites
  
  math3usmartins
  and
  claude
  committed
  06962d2
- fix(monomorphize): synthesize all-defaults instantiations for FQ and relative bare news
  
  math3usmartins
  and
  claude
  committed
  8782127
- fix(monomorphize): relative names are explicit class references, never aliases or type params
  
  math3usmartins
  and
  claude
  committed
  fa3f678
- fix(monomorphize): a use-function import is never a generic declaration
  
  math3usmartins
  and
  claude
  committed
  e42abe7
- docs: record the marker-alignment and name-resolution fixes; static arrows specialize
  
  math3usmartins
  and
  claude
  committed
  46724b4
- fix(monomorphize): match generic markers byte-exact, ending same-line marker steals
  
  math3usmartins
  and
  claude
  committed
  2ec32fa
- feat(monomorphize): reject generic closures that are never specialized
  
  math3usmartins
  and
  claude
  committed
  89ef9ac
- test(monomorphize): make the same-line sugar pin genuinely length-changing
  
  math3usmartins
  and
  claude
  committed
  fd430cb
- fix(monomorphize): a non-concrete turbofish is an attempt, not an orphan
  
  math3usmartins
  and
  claude
  committed
  11e5b7f
- docs: record byte-exact markers and unspecialized-closure rejection
  
  math3usmartins
  and
  claude
  committed
  00039c8
- fix(monomorphize): reject a bare new of a non-defaults generic
  
  math3usmartins
  and
  claude
  committed
  1014cb0
- fix(monomorphize): emit a valid forwarding closure for a turbofish FCC
  
  math3usmartins
  and
  claude
  committed
  d26525d
- test(monomorphize): pin the turbofish-FCC forwarding-param collision guard
  
  math3usmartins
  and
  claude
  committed
  65360c9
- docs: record the bare-new reject and the turbofish-FCC forwarding closure
  
  math3usmartins
  and
  claude
  committed
  0044f8d
- fix(monomorphize): ground inner turbofish type args on specialization
  
  math3usmartins
  and
  claude
  committed
  5541076
- fix(monomorphize): report the real source line for parse-stage rejections in check mode
  
  math3usmartins
  and
  claude
  committed
  6134ec2
- test(monomorphize): pin the two distinct default-reject line sites
  
  math3usmartins
  and
  claude
  committed
  0b1d94d
- docs: record real-line reporting for parse-stage rejections in check
  
  math3usmartins
  and
  claude
  committed
  507e760
- fix(monomorphize): reject a generic clause on a `use` import
  
  math3usmartins
  and
  claude
  committed
  69f0116
Commits on Jul 8, 2026
- docs: record the use-import generic-clause rejection
  
  math3usmartins
  and
  claude
  committed
  128f8b8
- feat(monomorphize): function/const-aware name resolution in NamespaceContext
  
  math3usmartins
  and
  claude
  committed
  1879de6
- feat(monomorphize): collect free function and const definitions
  
  math3usmartins
  and
  claude
  committed
  83ad529
- fix(monomorphize): re-qualify free functions and consts in specialized bodies
  
  math3usmartins
  and
  claude
  committed
  519785e
- fix(monomorphize): re-qualify free symbols in gap-filled and group-imported bodies
  
  math3usmartins
  and
  claude
  committed
  01272b8
- docs: record free-symbol re-qualification in relocated specializations
  
  math3usmartins
  and
  claude
  committed
  ab0e9eb
- fix(monomorphize): reject turbofish on a dynamically-named call instead of dropping it
  
  math3usmartins
  and
  claude
  committed
  5e50c5a
- feat(monomorphize): support keyword-named generic methods
  
  math3usmartins
  and
  claude
  committed
  e22cf58
- refactor(monomorphize): keep the dynamic-name reject discriminator mutation-visible
  
  math3usmartins
  and
  claude
  committed
  cecd0ca
- docs: record dynamic-name turbofish rejection and keyword-named generic methods
  
  math3usmartins
  and
  claude
  committed
  11ec5aa
Commits on Jul 10, 2026
- fix(monomorphize): index group-imported class members into the use-map
  
  math3usmartins
  and
  claude
  committed
  c4b3169
- docs: changelog entry for group-imported class re-qualification
  
  math3usmartins
  and
  claude
  committed
  495a78e
- fix(monomorphize): specialize generic-trait adaptation operands
  
  math3usmartins
  and
  claude
  committed
  f3cb880
- refactor(monomorphize): make the ambiguous-trait-operand remedy actionable
  
  math3usmartins
  and
  claude
  committed
  d79bbf2
- docs: record generic-trait adaptation-operand specialization
  
  math3usmartins
  and
  claude
  committed
  68cf607
- test: replace weak substring assertions with exact whole-value checks
  
  math3usmartins
  and
  claude
  committed
  6f1bcca
Commits on Jul 11, 2026
- docs: restructure the how-it-works guide with per-stage pages and diagrams
  
  math3usmartins
  and
  claude
  committed
  1ea7c56
- test: pin marker binding across multibyte identifiers and post-sugar turbofish
  
  math3usmartins
  and
  claude
  committed
  7cf448d
- docs: illustrate closure-signature variance with a class hierarchy
  
  math3usmartins
  and
  claude
  committed
  0b2314a
- fix(closure-types): reject a default value in a Closure(...) signature type
  
  math3usmartins
  and
  claude
  committed
  3275e74
- refactor(compiler): extract the fixed-point specialization loop into a helper
  
  math3usmartins
  and
  claude
  committed
  a037b69
- fix(check): ground closure-signature conformance so check matches compile
  
  math3usmartins
  and
  claude
  committed
  6c64596
- feat(closure-types): clear diagnostics for unsupported closure-signature positions
  
  math3usmartins
  and
  claude
  committed
  d4813aa
- docs: document the unsupported closure-signature positions as known limitations
  
  math3usmartins
  and
  claude
  committed
  c493f07
- docs: note closure-type check/compile parity and unsupported-position rejects
  
  math3usmartins
  and
  claude
  committed
  9634306
Commits on Jul 12, 2026
- docs: catalogue closure signature types and drop the roadmap Next section
  
  math3usmartins
  and
  claude
  committed
  780fcb8
- fix(parser): narrow startFilePos before indexing in the closure-in-generic enricher
  
  math3usmartins
  and
  claude
  committed
  82f760e

Commits

Commits on Jul 6, 2026

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