diff --git a/TODO.org b/TODO.org index a9e037da..74c103ce 100644 --- a/TODO.org +++ b/TODO.org @@ -501,7 +501,8 @@ capturing value. Two things for it to know: a widening thunk's environment holds code pointer rather than a GC object, and capturing a dyn stays refused until a synthesised environment has a descriptor. -** TODO CFn and C's calling convention +** WAIT CFn and C's calling convention +Decided 2026-09-25: waits with C callbacks, until a program needs one. A Flan function's signature ends with the transfer channel and a C caller knows nothing about one, so a =CFn= is not a C callback today. Under a future =--no-conditions= flag a =CFn= signature could drop the channel and reach C's