In what contexts are expressions allowed to return multiple values?
The question is answered in section 6.4 of R5RS: “Except for continuations created by the call-with-values procedure, all continuations take exactly one value.”. Therefore, Schemes are not required to accept multi-values expressions at the top-level or inside a body other than in the last position. However, they can certainly choose to do so.
