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

Re: Revised WITH-VALUES and VALUES (I think we are near agreement!)



>> From: Guillermo J. Rozas <jinx@hpesogg.hp.com>
>> 
>> The meaning of "is an error" is that the program is incorrect, but the
>> implementation may not signal the violation.  This goes very much
>> against the grain of what I want, since it says that the program was
>> illegal in the first place.
>> 

I didn't think you would like the "is an error" part.  Maybe now you
will appreciate the fact that in a previous proposal, nothing was said
about what happens in the case in which zero values or more than one
value are returned to something other than a receiving procedure.  By
saying nothing about that case, programs which rely on the truncation
of multiple values are not labeled as being illegal, but not all
implementations are required to run those programs.  In a nut shell, I
think that is the essence of the compromise.  Given that
clarification, please reconsider the proposal in which the following
sentence:

    Values applied to one argument simply returns its argument.  

replaces the paragraph:

    Values applied to one argument simply returns its argument.
    Returning zero values or more than one value to something other
    than a receiving procedure is an error.

If this proposal is not to your liking, please submit a replacement
paragraph which is consistant with the notation and terminology of
R3.95RS. 

John