On Fri 30 Aug 2013 00:26, Mark H Weaver <m...@netris.org> writes:
> l...@gnu.org (Ludovic Courtès) writes:
>
>> Perhaps that happens in the Tree-IL->CPS pass, but is there/could there
>> be an effect analysis when truncating multiple-value returns?
>>
>> Such that (f (values 1 2 3)) reduces to (f 1).
>
> I guess this is a question for Andy, but some experimentation suggests
> that this transformation is already done by an earlier optimization pass
> in tree-il.
Yes, I think it's peval that does this.
scheme@(guile-user)> ,optimize (f (values 1 2 3))
$1 = (f 1)
Andy
--
http://wingolog.org/
