Re: (+ (values 1 2)) should be 1

[Hans Aberg]

On 22 May 2011, at 16:02, Andy Wingo wrote:

> But, it is 1 and 2, currently.  (+ FOO) inlines just to FOO, too
> optimistically.

It is unspecified according to rsr5.

Hans