Repository navigation

Update all named keys at once for non-finite atom keys - #16025

Merged

josevalim merged 3 commits into

mainfrom

map-update-widen-atom-keys

Oct 28, 2026

Merged

Update all named keys at once for non-finite atom keys#16025
josevalim merged 3 commits into
mainfrom
map-update-widen-atom-keys

Commits on Oct 26, 2026
- Union map alternatives pairwise on updates
  josevalim
  committed
  8179bd8
- Update all named keys at once for non-finite atom keys
  josevalim
  committed
  c0b20d1
- Reuse map update logic across put, widening, and domains
  josevalim
  committed
  5747b0f