[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [Scheme-reports] Beta reduction

On Wed, Nov 14, 2012 at 5:23 PM, Helmut Eller <eller.helmut@x> wrote:
Some compilers transform ((lambda (x) x) (values 1 2)) to (values 1 2).
The original form doesn't necessarily signal an error.  So it would seem
this is a fine transformation.  Is that interpretation correct?

Passing multiple values to a continuation which only
expects one value "is an error" according to the standard,
so this compiler optimization would be legal.  Alternately,
returning just the first value or deleting your hard drive
would also be legal.


Scheme-reports mailing list