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
