[Chicken-janitors] #1176: Support capturing multiple value type in `forall`, etc.

[Chicken Trac]

#1176: Support capturing multiple value type in `forall`, etc.
-------------------------+--------------------------------------------------
 Reporter:  evhan        |       Owner:         
     Type:  enhancement  |      Status:  new    
 Priority:  minor        |   Milestone:  someday
Component:  scrutinizer  |     Version:  4.9.x  
 Keywords:  scrutinizer  |  
-------------------------+--------------------------------------------------
 As requested by alaricsp in [https://lists.nongnu.org/archive/html
 /chicken-users/2014-11/msg00016.html this thread], it would be nice if one
 could capture and refer to multiple-valued return types with `forall`,
 e.g.:

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

 (define (call-with-foo foo thunk)
   ; do some stuff and return whatever thunk does,
   ; even if it's multi-valued:
   (thunk))
 }}}

 (The above is just a sketch, not necessarily the right way to express
 this..)

-- 
Ticket URL: <http://bugs.call-cc.org/ticket/1176>
CHICKEN Scheme <http://www.call-with-current-continuation.org/>
CHICKEN Scheme is a compiler for the Scheme programming language.