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

C's calling convention for CFn waits with the callbacks

Browse Source
This commit is contained in:
Joseph Ferano 2026-09-25 10:23:28 +07:00
parent e16b5cbced
commit fc9f3059f9
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
TODO.org
View File

@ -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 code pointer rather than a GC object, and capturing a dyn stays refused until a
synthesised environment has a descriptor. 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 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 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 =--no-conditions= flag a =CFn= signature could drop the channel and reach C's