Re: ??? call-with-values ???

[shriram@cs.rice.edu (Shriram Krishnamurthi)]

This is the same mechanism proposed (and accepted) for R5RS.  A few
examples, which I've lifted directly out of Ashley and Dybvig's paper
in LFP 94:

(define split
  (lambda (ls)
    (if (or (null? ls) (null? (cdr ls)))
        (values ls '())
        (call-with-values
          (lambda () (split (cddr ls)))
          (lambda (odds evens)
            (values (cons (car ls) odds)
                    (cons (cadr ls) evens)))))))

(split '(a b c d e f))
==> (a c e)
    (b d f)

(call-with-values
  (lambda () 4)
  (lambda (x) x))
==> 4

(call-with-values
  (lambda ()
    (call/cc (lambda (k) (k 2 3))))
  (lambda (x y) (list x y)))
==> (2 3)

Hopefully these will help.