[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Issue: ADJUST-ARRAY-NOT-ADJUSTABLE (Version 6)
- To: gls@Think.COM
- Subject: Issue: ADJUST-ARRAY-NOT-ADJUSTABLE (Version 6)
- From: Jon L White <firstname.lastname@example.org>
- Date: Wed, 15 Mar 89 23:39:49 PST
- Cc: email@example.com, firstname.lastname@example.org
- In-reply-to: Guy Steele's message of Tue, 28 Feb 89 14:13:37 EST <8902281913.AA03555@verdi.think.com>
re: I conclude that the strict interpretation may be preferred, but not for the
reasons Jonl has advanced! The liberal interpretation does *not* prevent
compilers for stock hardware from producing good code, and therefore the
code example does not support his claim to the contrary.
Guy, I fear that you have made an error of logic in analyzing my example.
You use the "strict" interpretation to conclude that the example is
incorrect code (as it should be!); but the whole point of the example is
to show that under the "liberal" interpretation, it's correctness depends
on the implementation rather than on a implementation-independent definition.
If you don't see this, then perhaps we should talk about it "off line".
-- JonL --