[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Issue: THE-VALUES [was: intent of (THE <type> <expression>)]
- To: gls@Think.COM
- Subject: Issue: THE-VALUES [was: intent of (THE <type> <expression>)]
- From: Kent M Pitman <KMP@STONY-BROOK.SCRC.Symbolics.COM>
- Date: Thu, 20 Apr 89 17:53 EDT
- Cc: KMP@STONY-BROOK.SCRC.Symbolics.COM, CL-Cleanup@SAIL.Stanford.EDU
- In-reply-to: <8904202059.AA00383@joplin.think.com>
[Outside world removed.]
Date: Thu, 20 Apr 89 16:59:15 EDT
From: Guy Steele <gls@Think.COM>
What it boils down to, is that THE should check only as many types
as requested (and pass back only as many).
No, this is not cool. THE is supposed to act purely as a declaration,
but you are changing it to require it to pass on only as many values
as the type specifer indicates. This could change the semantics of
a suitably devious program.
Better to say that it checks as many types as requsted, but passes on
exactly the values it receives.
Even though I agree with your position, I think it's worth our writing up
a clarification issue to make sure we're all agreed and that it's 100% clear
in the ANSI spec.