Re: continuation not a subtype of procedure

something to watch out for w/ -strict-types is the typing of an alias as an immediate-type, false/true/eof/null, but subsequently using as a union:

	(let ((a #f)) … (set! a ‘foo)) 					;`a’ is-a `false’ by the compiler so warning

	(let ((a (the (or false symbol) #f))) … (set! a ‘foo))  ;no warning

`assume' and `the' are useful

(thanks for the note)

> On Aug 20, 2026, at 10:07 AM, Hernán Ibarra Mejia <[email protected]> wrote:
> 
> On Thu Aug 20, 2026 at 7:38 PM EEST, Kon Lovett wrote:
>> the type `continuation' is to be used w/ https://wiki.call-cc.org/man/6/Module%20(chicken%20continuation)
>> 
>> the type of a continuation captured by call/cc is a `procedure’
>> 
>> the https://wiki.call-cc.org/man/6/Types should reference
> 
> Thank you, I understand now. I've added a short note to the Types wiki page
> to reference (chicken continuation).
> 
> Best wishes,
> Hernán