Re: [Chicken-users] Correct type declarations for (call-with-... <thunk>) procedures

[Evan Hanson]

Hi Alaric,

I agree it would be nice if one could capture the multiple values case
with a `forall` type, e.g.

    (: call-with-foo (forall (a) (foo (-> . a) -> . a)))

However, AFAIK there is currently no way to express this.

You can of course specify that `call-with-context-support` may return an
arbitrary number of values as follows:

    (: call-with-context-support (foo (-> . *) -> . *))

This will silence the warnings from `csc(1)`, but obviously isn't ideal.

I've created a ticket[1] to track this feature request. Thanks for
bringing it up!

Evan

[1]: https://bugs.call-cc.org/ticket/1176