Repository navigation

feat(ts): fields typed by an associated type - #644

Merged

kixelated merged 27 commits into

mainfrom

quest/m3/ts-assoc-type-fields

Nov 8, 2026

Merged

feat(ts): fields typed by an associated type#644
kixelated merged 27 commits into
mainfrom
quest/m3/ts-assoc-type-fields

Commits on Nov 7, 2026
- chore(quest): claim quest/m3/ts-assoc-type-fields.md
  kixelated
  committed
  dafe20f
- feat(ts): fields typed by an associated type of a generic type's parameter
  
  kixelated
  and
  claude
  committed
  e68fe2b
- fix(ts): drop a generic type's projected fields, and skip what types nothing
  
  kixelated
  and
  claude
  committed
  55256a3
- fix(ts): an instance's projections decide whether its glue is inert
  
  kixelated
  and
  claude
  committed
  22e7e42
- Merge remote-tracking branch 'origin/main' into pr644
  kixelated
  committed
  8db921a
- refactor(ts): typing a definition is the one record of its projections and Options
  
  kixelated
  and
  claude
  committed
  5a5ba71
- fix(ts): refuse only an instance its own projection arguments name again
  
  kixelated
  and
  claude
  committed
  a9b1ef9
- Merge remote-tracking branch 'origin/main' into pr644
  kixelated
  committed
  5f76719
- fix(ts): end every walk a projection holding deeper instances drives
  
  kixelated
  and
  claude
  committed
  d144d1d
- fix(ts): end typing, glue and holding walks past the recursion limit
  
  kixelated
  and
  claude
  committed
  683789d
- Merge remote-tracking branch 'origin/main' into pr644
  kixelated
  committed
  b163758
- feat(ts): name instances a projection argument holds with an alias
  
  kixelated
  and
  claude
  committed
  a09b839
- Merge remote-tracking branch 'origin/main' into t3/49b7f832
  kixelated
  committed
  55bf740
- fix(ts): name aliases by default arguments too, and finish finite concrete chains
  
  kixelated
  and
  claude
  committed
  b938062
- fix(ts): let finite projection growth settle, and alias const-only instances
  
  kixelated
  and
  claude
  committed
  701b907
- fix(ts): bound projection growth by how deep projections nest
  
  kixelated
  and
  claude
  committed
  499a919
- chore(ts): sort the reject fixture's roots
  
  kixelated
  and
  claude
  committed
  f1851e9
- fix(ts): bound filling an open definition's instances by rounds, at the recursion limit
  
  kixelated
  and
  claude
  committed
  f97d9ec
- Merge remote-tracking branch 'origin/main' into HEAD
  kixelated
  committed
  ca609cd
- test(ts): refusals of endless fills at their definitions
  
  kixelated
  and
  claude
  committed
  6a63ba9
- style(ts): format
  
  kixelated
  and
  claude
  committed
  904df15
- fix(ts): complete a definition with the one further out its fill names, and check held instances' Options
  
  kixelated
  and
  claude
  committed
  b0425d5
- chore(ts): sort the reject fixture's roots
  
  kixelated
  and
  claude
  committed
  3cf8d51
- fix(ts): check what a held instance decides in its own frame, and ControlFlow and future parts
  
  kixelated
  and
  claude
  committed
  9ec4633
- fix(ts): word the ControlFlow refusal in census terms
  
  kixelated
  and
  claude
  committed
  1e2558a
- Merge remote-tracking branch 'origin/main' into HEAD
  kixelated
  committed
  97c2967
Commits on Nov 8, 2026
- fix(ts): type trait objects outside the definition typing them, and fill what they keep
  
  kixelated
  and
  claude
  committed
  7c9b53e

Commits

Commits on Nov 7, 2026

Commits on Nov 8, 2026