[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Scheme-reports] multiple values module
On Tue, 24 May 2011 13:04:21 -0400, Emmanuel Medernach
> Indeed, but in (foo X Y) I would not allow the evaluation of expression
> X to interfere with Y : if X is (values X1 X2) and Y is (values), foo
> could mislead X1 with X and X2 with Y as in some implementation. I mean
> doesn't the report has to specify that evaluation of X has to be bound
> to X only ?
Indeed, how many implementation contain this semantics? Is it a semantics
that is justified or should we clarify the language to not permit values
passed to one continuation to "infect" another continuation? I'm of a mind
that this sort of requirement would be a good thing.
Aaron W. Hsu
Programming is just another word for the lost art of thinking.
Scheme-reports mailing list