Repository navigation

-mm=own: strings as values (spec 22) - #452

Merged

ASDAlexander77 merged 16 commits into

mainfrom

own-strings-as-values

Oct 3, 2026

Merged

-mm=own: strings as values (spec 22)#452
ASDAlexander77 merged 16 commits into
mainfrom
own-strings-as-values

Commits on Oct 2, 2026
- -mm=own: spec section 22, strings as values (design)
  
  ASDAlexander77
  and
  claude
  committed
  0cd3dc2
- -mm=own: the strings-as-values implementation plan (spec section 22)
  
  ASDAlexander77
  and
  claude
  committed
  a79fa9b
- -mm=own strings: ts.StringCopy and the facts that know it (spec 22.2)
  
  ASDAlexander77
  and
  claude
  committed
  d07f620
- -mm=own strings: isCopyableString needs a tag-free union; StringCopy checks its operand type
  
  ASDAlexander77
  and
  claude
  committed
  308c2a1
- -mm=own strings: the inference pass's dry run (spec 22.3), no change yet
  
  ASDAlexander77
  and
  claude
  committed
  9d0ec2d
- -mm=own strings: a second reference to a string own cannot prove becomes a copy (spec 22.3, 22.4)
  
  ASDAlexander77
  and
  claude
  committed
  4ee1180
- -mm=own strings: a copy only for a retain in its use's block; the pushed-twice negative
  
  ASDAlexander77
  and
  claude
  committed
  edcee2a
- -mm=own strings: mixed returns, corpus and results (spec 22.7)
  
  ASDAlexander77
  and
  claude
  committed
  efd252b
- -mm=own strings: the Linux run (spec 22.7)
  
  ASDAlexander77
  and
  claude
  committed
  09c8747
- -mm=own strings: the copies see the dry run's borrow attributes
  
  ASDAlexander77
  and
  claude
  committed
  a5fc162
- -mm=own strings: a test that the copy is made in the store's block
  
  ASDAlexander77
  and
  claude
  committed
  43d0cb4
- -mm=own strings: the copy's-block check on a file of its own
  
  ASDAlexander77
  and
  claude
  committed
  39f5b74
- -mm=own strings: no dangling dominance; a copy at the retain only before its use
  
  ASDAlexander77
  and
  claude
  committed
  de6e8f2
- -mm=own strings: the final review's doc points (spec 22.1, 22.2, 22.7, plan)
  
  ASDAlexander77
  and
  claude
  committed
  4515a68
- -mm=own strings: when a closure owns its copies, as the code decides it (spec 22.6, 22.7)
  
  ASDAlexander77
  and
  claude
  committed
  2345904
- -mm=own strings: the Linux run after the final review's fixes (spec 22.7)
  
  ASDAlexander77
  and
  claude
  committed
  67d5383

Commits

Commits on Oct 2, 2026