From 1cec47b5d4617c334bf0c465ecb810f58b369aa4 Mon Sep 17 00:00:00 2001 From: Joseph Ferano Date: Fri, 25 Sep 2026 09:45:48 +0700 Subject: [PATCH] Result and try are cancelled: conditions are the error mechanism --- TODO.org | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/TODO.org b/TODO.org index 5a8a1b32..27b9dd42 100644 --- a/TODO.org +++ b/TODO.org @@ -303,9 +303,10 @@ Both the tagged and the untagged form import now. It was never a blocker for =Form=, because the prelude is parsed and prepended into the same flat namespace before collection runs. -** TODO (Result T E) and try -Another sum type, queued after sum values landed, and still refused by name. -=docs/PORTING.md= records that it has no customer in the game's code. +** CANCELLED (Result T E) and try +CLOSED: [2026-09-25] +Conditions and restarts are the error mechanism, and nothing in the game's code +wants a second one. ** CANCELLED (Handle T) and the pool CLOSED: [2026-09-18]