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