Re: [Scheme-reports] Beta reduction

[Alex Shinn <alexshinn@x>]

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.

-- 

Alex

_______________________________________________
Scheme-reports mailing list
Scheme-reports@x
http://lists.scheme-reports.org/cgi-bin/mailman/listinfo/scheme-reports