Implement reverse arrows for case - #15260

Merged

josevalim merged 8 commits into

mainfrom

jv-case-reverse-arrow

Apr 13, 2026

Commits on Apr 13, 2026

Add version to case
josevalim
committed
28a66b5
Reverse arrows for case, precision for _
josevalim
committed
c7698ad
Update annotations
josevalim
committed
9cc6405
Handle cons in :lists.member/2 types
josevalim
committed
15e8da4
Discard warnings from refinemenets
josevalim
committed
fff0060
Nested handling in case
josevalim
committed
3d5cd3c
Add counters to other block constructs
josevalim
committed
b5f5e04
Cache results across
josevalim
committed
cbb87a5