Opened 9 years ago

Last modified 8 years ago

#1176 new enhancement

Support capturing multiple value type in `forall`, etc.

Reported by: evhan Owned by:
Priority: minor Milestone: someday
Component: scrutinizer Version: 4.9.x
Keywords: scrutinizer Cc: alaricsp
Estimated difficulty: medium

Description

As requested by alaricsp in 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..)

Change History (1)

comment:1 Changed 8 years ago by sjamaan

Estimated difficulty: medium
Note: See TracTickets for help on using tickets.