compiler features / flow checker
✓ 9 passing ✗ 2 failing ○ 1 planned
Lessons
1 ✗
Failing
009 unused binding error — error-output
2 ✓
Passing 011 discard binding ok
3 ○
Planned 012 interpolation use in for loop — KORU100 false positive: string interpolation reference not counted as binding use inside for loop body (post-transform AST loses interpolation→binding association)
4 ✓
Passing 015 reject branch payload unbound
5 ✗
Failing 016 reject continuation without branch handler — error-output
6 ✓
Passing 017 effect branch multiline chain
7 ✓
Passing 018 optional effect noop discard banned
8 ✓
Passing 019 optional effect multi guard no else
9 ✓
Passing 020 flowhead multiline chain
10 ✓
Passing 024 obligation branch multiline chain
11 ✓
Passing 025 err hoist wrong type
12 ✓
Passing 028 reject underscore outside branch handler