jacksonopp/twill

Watch

Step 3: Failure-as-Value

New issue

fails, ?, or-as-binding, match over failure reasons. Structurally invasive (changes what a block returns), handled before general effects. Also resolves the [] / assignment-target / match-pattern disambiguations Step 1 deliberately deferred, now that a symbol table exists.

-

0% Completed

Resolve assignment-target and match-pattern ambiguities deferred from Step 1

#14 opened 2026-08-19 02:28:30 +00:00 by jacksonopp twill

Resolve [] as index vs. where-fails call using the symbol table

#13 opened 2026-08-19 02:28:29 +00:00 by jacksonopp twill

Match over failure reasons

#12 opened 2026-08-19 02:28:29 +00:00 by jacksonopp twill

Check or fallback and or reason => body forms

#11 opened 2026-08-19 02:28:28 +00:00 by jacksonopp twill

Check ? propagation

#10 opened 2026-08-19 02:28:28 +00:00 by jacksonopp twill

Check fail(Reason) call sites against declared failure reasons

#9 opened 2026-08-19 02:28:28 +00:00 by jacksonopp twill

Model fails in function/block return types

#8 opened 2026-08-19 02:28:27 +00:00 by jacksonopp twill