From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-0.3 required=5.0 tests=BAYES_00, REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4 X-Google-Thread: a07f3367d7,99a0564a79f2932b X-Google-Attributes: gida07f3367d7,public,usenet X-Google-NewGroupId: yes X-Google-Language: ENGLISH,ASCII-7-bit Path: g2news2.google.com!news1.google.com!news.glorb.com!wn14feed!worldnet.att.net!bgtnsc05-news.ops.worldnet.att.net.POSTED!53ab2750!not-for-mail Newsgroups: comp.lang.ada From: anon@anon.org (anon) Subject: Re: Type of subtraction operator Reply-To: anon@anon.org (anon) References: <8ae800c6-4307-4dc5-bf6b-d97101ae8521@x5g2000yqk.googlegroups.com> <890d5a12-2a1d-4ee9-a443-324f5d60bfaf@n8g2000vbb.googlegroups.com> X-Newsreader: IBM NewsReader/2 2.0 Message-ID: Date: Sat, 30 May 2009 07:47:39 GMT NNTP-Posting-Host: 12.65.78.187 X-Complaints-To: abuse@worldnet.att.net X-Trace: bgtnsc05-news.ops.worldnet.att.net 1243669659 12.65.78.187 (Sat, 30 May 2009 07:47:39 GMT) NNTP-Posting-Date: Sat, 30 May 2009 07:47:39 GMT Organization: AT&T Worldnet Xref: g2news2.google.com comp.lang.ada:6112 Date: 2009-05-30T07:47:39+00:00 List-Id: 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 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