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
Hello folks!
I've been trying to get into the habit of putting type declarations on
everything I write in Chicken, to get the benefits of the lovely
scrutinizer: type checks, specialisations, etc!
I've also found that it's nice as documentation - I went around
switching various bits of Ugarit to