JosephFerano/flan
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Result and try are cancelled: conditions are the error mechanism

Browse Source
This commit is contained in:
Joseph Ferano 2026-09-25 09:45:48 +07:00
parent 7a1d9c1263
commit 1cec47b5d4
1 changed files with 4 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
TODO.org
View File

@ -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]