Repository navigation

fix(runtime): release tail-drop frames before the last child - #1438

Merged

nicolas-abril merged 18 commits into

bendlang:mainfrom

oxura:fix/1307-stable-wrapped-erasure

Oct 19, 2026

Merged

fix(runtime): release tail-drop frames before the last child#1438
nicolas-abril merged 18 commits into
bendlang:mainfrom
oxura:fix/1307-stable-wrapped-erasure

Commits on Oct 14, 2026
- fix(runtime): tail-drop final owned children
  
  oxura
  authored and
  Lorenzobattistela
  committed
  99a2ac7
- term_drop frees a node's frame before its recursive field, in any field order
  
  authored and
  Lorenzobattistela
  committed
  d66f692
- term_drop frees a frame at its last nontrivial slot, for every node kind
  
  authored and
  Lorenzobattistela
  committed
  92a4b7a
- CID_T's spine is 255 when no box holds the node's datatype
  Lorenzobattistela
  committed
  5a1ba75
- Merge remote-tracking branch 'origin/main' into fix/1307-stable-wrapped-erasure
  nicolas-abril
  committed
  9019312
- term_drop keeps a large node's live end and swaps any node's spine; comp.ts back under its cap
  
  nicolas-abril
  and
  claude
  committed
  2287053
- Undo the unrelated token cuts; ctr_spine reads a field's slots through lay_holds
  
  nicolas-abril
  and
  claude
  committed
  7509c88
Commits on Oct 15, 2026
Commits on Oct 16, 2026
- fix(runtime): keep a fieldless task's continuation in term_drop
  
  nicolas-abril
  and
  claude
  committed
  739626a
- refactor(runtime): FID_T and CID_T rows are structs
  
  nicolas-abril
  and
  claude
  committed
  d1d7451
- fix(compiler): memoize lay_holds by field type
  
  nicolas-abril
  and
  claude
  committed
  1245653
- Merge branch 'main' into fix/1307-stable-wrapped-erasure
  
  nicolas-abril
  and
  claude
  committed
  117801e
Commits on Oct 19, 2026
- Merge remote-tracking branch 'origin/main' into ai/1438-merge
  nicolas-abril
  committed
  6bff99e

Navigation Menu

Repository navigation

fix(runtime): release tail-drop frames before the last child - #1438

fix(runtime): release tail-drop frames before the last child#1438
nicolas-abril merged 18 commits into
bendlang:mainfrom
oxura:fix/1307-stable-wrapped-erasure

Commits on Oct 14, 2026

fix(runtime): tail-drop final owned children

term_drop frees a node's frame before its recursive field, in any field order

term_drop frees a frame at its last nontrivial slot, for every node kind

CID_T's spine is 255 when no box holds the node's datatype

Merge remote-tracking branch 'origin/main' into fix/1307-stable-wrapped-erasure

term_drop keeps a large node's live end and swaps any node's spine; comp.ts back under its cap

Undo the unrelated token cuts; ctr_spine reads a field's slots through lay_holds

Commits on Oct 15, 2026

Merge remote-tracking branch 'origin/main' into pr1438

term_drop: ctr_spine reads the spine off the constructor's own type through lay_holds, a node with no live cell goes through the frame like any other, and the two new comments are gone

Merge remote-tracking branch 'origin/main' into review/1438-maintainer-20261015

refactor(compiler): reuse layouts for spine metadata

Merge remote-tracking branch 'origin/main' into review/1438-maintainer-20261015

fix(compiler): retain cap after host entry merge

Commits on Oct 16, 2026

fix(runtime): keep a fieldless task's continuation in term_drop

refactor(runtime): FID_T and CID_T rows are structs

fix(compiler): memoize lay_holds by field type

Merge branch 'main' into fix/1307-stable-wrapped-erasure

Commits on Oct 19, 2026

Merge remote-tracking branch 'origin/main' into ai/1438-merge