Repository navigation

D4: single-arm match, field named match, data-initializer lambdas - #10967

Merged

briansrls merged 13 commits into

mainfrom

d4-body-lowering-match-arm

Sep 11, 2026

Merged

D4: single-arm match, field named match, data-initializer lambdas#10967
briansrls merged 13 commits into
mainfrom
d4-body-lowering-match-arm

Commits on Sep 11, 2026
- Lower single-arm match and keyword field access without treating either as a malformed match.
  
  Brian Searls
  and
  cursoragent
  committed
  f148d4d
- Do not discard a match-arm extract refusal as an exhausted tail.
  
  Brian Searls
  and
  cursoragent
  committed
  3d0154a
- D control pair: zero-arm match still refuses; one-arm match accepts.
  
  Brian Searls
  and
  cursoragent
  committed
  10592c4
- F control pair: r.match accepts; r.other, r.loop, and r.type stay the keyword controls.
  
  Brian Searls
  and
  cursoragent
  committed
  9e01b3e
- R control pair: function value in a data field accepts; the same literal in an fn body already did.
  
  Brian Searls
  and
  cursoragent
  committed
  b1a534b
- Drop the combined match-arm fixture now that D, F, and R each have their own pair.
  
  Brian Searls
  and
  cursoragent
  committed
  17b54c9
- Name the structure-preserved classifier instead of counting its rows.
  
  Brian Searls
  and
  cursoragent
  committed
  b9f48d0
- Keep D/F/R floor claims under the 500ms changed-witness CPU ceiling.
  
  Brian Searls
  and
  cursoragent
  committed
  5c14a4e
- Reach the zero-arm match refusal: match t { } is a record scrutinee.
  
  Brian Searls
  and
  cursoragent
  committed
  69a7005
- Restore D/F/R pipeline-path witnesses; censor the 500ms-interrupted rows.
  
  Brian Searls
  and
  cursoragent
  committed
  4d026c2
- Keep Cause R's discriminating claims on the ordinary floor.
  
  Brian Searls
  and
  cursoragent
  committed
  9259212
- Re-enrol the eleven D4 siblings as censored, not proven.
  
  Brian Searls
  and
  cursoragent
  committed
  49dff28
- Enrol this PR's 13 floor interrupts and the one completed-over G row.
  
  Brian Searls
  and
  cursoragent
  committed
  5000c1d

Commits

Commits on Sep 11, 2026