Repository navigation

Match untagged variants with a literal switch and one typeof dispatch - #9015

Merged

cknitt merged 11 commits into

instanceof-typeof-annotationsfrom

untagged-dispatch

Oct 25, 2026

Merged

Match untagged variants with a literal switch and one typeof dispatch#9015
cknitt merged 11 commits into
instanceof-typeof-annotationsfrom
untagged-dispatch

Commits on Oct 25, 2026
- Match untagged variants with a literal switch and one typeof dispatch
  
  cknitt
  and
  claude
  committed
  0ea7333
- Drop literal arms that a complete payload dispatch runs anyway
  
  cknitt
  and
  claude
  committed
  f5ed4ce
- Update the gentype example for the untagged dispatch
  
  cknitt
  and
  claude
  committed
  9d8cae0
- Say precisely when literals use an if and what folds
  
  cknitt
  and
  claude
  committed
  f7fceb2
- Emit untagged checks directly instead of through Dynamic_checks
  
  cknitt
  and
  claude
  committed
  61dd7e5
- Share which literal passes which payload check
  
  cknitt
  and
  claude
  committed
  e8f4c02
- Keep the checks an empty arm or a tagged block needs
  
  cknitt
  and
  claude
  committed
  e5a2af7
- Drop the tagged blocks of mixed variants from the dispatch
  
  cknitt
  and
  claude
  committed
  5558fab
- Give a literal a case where skipping would add a check
  
  cknitt
  and
  claude
  committed
  1230264
- Let literals skip the switch whatever other literals do
  
  cknitt
  and
  claude
  committed
  c7e3f70
- Regenerate the callable-instance test for the typeof dispatch
  
  cknitt
  and
  claude
  committed
  141e433