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=-1.9 required=5.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Thread: 103376,2a34b7ad6c6a0774
X-Google-NewGroupId: yes
X-Google-Attributes: gida07f3367d7,domainid0,public,usenet
X-Google-Language: ENGLISH,UTF8
Path: 
 g2news1.google.com!news1.google.com!npeer03.iad.highwinds-media.com!news.highwinds-media.com!feed-me.highwinds-media.com!nntp.club.cc.cmu.edu!feeder.erje.net!news-1.dfn.de!news.dfn.de!fu-berlin.de!uni-berlin.de!individual.net!not-for-mail
From: Niklas Holsti <niklas.holsti@tidorum.invalid>
Newsgroups: comp.lang.ada
Subject: Re: Efficiency of code generated by Ada compilers
Date: Wed, 11 Aug 2010 10:06:28 +0300
Organization: Tidorum Ltd
Message-ID: <8cf0fkF60rU1@mid.individual.net>
References: <f3c0cf89-6993-4b83-b4fe-8a920ce23a14@f6g2000yqa.googlegroups.com>
 <op.vg77swroxmjfy8@garhos> <i3sl3v$1ogj$1@news.ett.com.ua>
 <op.vg8wtnzoule2fv@garhos> <op.vg8xan2hule2fv@garhos>
Mime-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
X-Trace: individual.net GMTqmKbz20N91ptUl5VaswaFXf83+tNqbZcKpQwzrgu+VnJxlN
Cancel-Lock: sha1:u0vdRyzKDcU4brIRWiEG8coKbSw=
User-Agent: Mozilla-Thunderbird 2.0.0.24 (X11/20100328)
In-Reply-To: <op.vg8xan2hule2fv@garhos>
Xref: g2news1.google.com comp.lang.ada:13104
Date: 2010-08-11T10:06:28+03:00
List-Id: <comp.lang.ada>

Yannick Duchêne (Hibou57) wrote:
> Le Wed, 11 Aug 2010 01:28:25 +0200, Yannick Duchêne (Hibou57) 
> <yannick_duchene@yahoo.fr> a écrit:
>> In “11.5 Suppressing Checks”:
>> 4/2 pragma Suppress(identifier [, [On =>] name]);
> Strange. I've noticed it with the reply to you : the “[, [On =>] name]” 
> appeared in the message while it is not visible in my reference. May be 
> some trouble with the HTML version I use.

   [ snip ]

> This is no more valid Ada (well.... this is still valid Ada 95, this is 
> just not more valid Ada 2005/2012)

In the Ada 2005 RM, see section J.10 (Obsolescent Features: Specific 
Suppression of Checks).

-- 
Niklas Holsti
Tidorum Ltd
niklas holsti tidorum fi
       .      @       .