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
_______________________________________________
Chicken-users mailing list
Chicken-users@nongnu.org
https://lists.nongnu.org/mailman/listinfo/chicken-users
