[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Scheme-reports] multiple values module
On Fri 20 May 2011 21:44, John Cowan <cowan@x> writes:
> Andy Wingo scripsit:
>> There is also the approach of using no type at all and returning the
>> values on the stack.
> Indeed, though that can lead to very strange behavior. For example,
> if the identifier "map" is known to be bound to its R5RS definition, a
> compiler can reject (map (foo)) as erroneous, but under a "return on the
> stack" implementation, (foo) might return both the function and the list
> to map. I think it was Henry Baker who pointed this out.
You are confusing the stack with the continuation of the evaluation of a
procedure's argument. I was referring to the technique described here:
Scheme-reports mailing list