Re: LRM 11.6 changing behavior (was: Bug in AdaEd???)

[news.crd.ge.com!e7sa!groleau@uunet.uu.net (Wes Groleau x1240 C73-8)]

Give me a break!

  If I INTENDED to raise an exception, I would normally use a "raise"
statement. 

But it may not always be obvious to a programmer using objects
from another package or even someone else's work in the same unit, that
a particular statement will always raise a predefined statement.  But
even if he/she KNEW it, it is not reasonable for a compiler to NOT raise
the exception.  One of the many purposes of exceptions is to inform programmers
that they did something they shouldn't have.  Some people are now interpreting
LRM 11.6 to mean "If you do write code that the compiler vendor thinks you
shouldn't, the compiler vendor has the right to pretend you didn't." 
I normally try to avoid starting or encouraging flame wars, but I can't 
resist saying, "I don't believe the LRM writers intended anything so stupid."

Wes G.