Re: Type of subtraction operator

[anon@anon.org (anon)]

I hope you feel better tomorrow, because you must of had a bad day!

If you could not see the joke in that comment! Or was it a lesson for the 
newbees programmers to discuss in class, about pragma location.

And as for for the Suppress/Restriction pragmas and the RM. A few Adacore 
staft member have said we do it our way not the RM way! That's processing 
is trickled downward.  And "Safety and Security" towers above Efficiency.


In <890d5a12-2a1d-4ee9-a443-324f5d60bfaf@n8g2000vbb.googlegroups.com>, Adam Beneschan <adam@irvine.com> writes:
>On May 28, 7:09=A0pm, a...@anon.org (anon) wrote:
>> Note: Also, using the two statements
>>
>> =A0 =A0Z : Integer :=3D Natural ( X - Y ) ; =A0
>> =A0 =A0pragma Suppress ( Range_Check, On =3D> Z ) ;
>>
>> will will cause a CONSTRAINT_ERROR to occur at run time. But should it,
>> since Range checking for Z has been suppressed.
>
>Seems OK to me.  The Constraint_Error is raised by evaluating the
>expression on the right-hand side of the :=3D and thus really has
>nothing to do with Z.  Anyway, as AI95-224 says, "there is no clear
>definition (or agreement) on" the meaning of the On parameter of
>Suppress, which is why it's now an obsolescent feature.  So while it's
>possible for two people to have two (or more) interpretations of what
>On=3D>Z means in this case, the language standard doesn't help decide
>which one is right.  Furthermore, there's no requirement for Ada
>implementations to actually obey Suppress pragmas; code that uses
>Suppress must still expect that the exceptions may be raised anyway,
>and the AARM says the pragma should be used for efficiency only.
>
>                                         -- Adam