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-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,c1983ae2deb642ab
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2002-05-25 00:27:52 PST
Path:
archiver1.google.com!news1.google.com!newsfeed.stanford.edu!cyclone.bc.net!newsfeed.online.be!isdnet!wanadoo.fr!not-for-mail
From: Pascal Obry
Newsgroups: comp.lang.ada
Subject: Re: Ada -vs- GNAT
Date: 25 May 2002 09:27:47 +0200
Organization: Home - http://perso.wanadoo.fr/pascal.obry
Message-ID:
References:
NNTP-Posting-Host: avelizy-103-1-1-52.abo.wanadoo.fr
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
X-Trace: wanadoo.fr 1022311672 17358 217.128.141.52 (25 May 2002 07:27:52 GMT)
X-Complaints-To: abuse@wanadoo.fr
NNTP-Posting-Date: 25 May 2002 07:27:52 GMT
User-Agent: Gnus/5.09 (Gnus v5.9.0) Emacs/21.2
Xref: archiver1.google.com comp.lang.ada:24725
Date: 2002-05-25T07:27:52+00:00
List-Id:
"Steve Doiel" writes:
> In a recent thread on the gcc mailing list, Robert Dewar describes how ACT
> introduced the pragma "Unreferened" such that code that previously appeared
> as:
>
> pragma Warnings (Off, entitiy)
>
> could be replaced by
>
> pragma Unreferenced (entity)
>
> because the latter is "neater, reads better, and is clearer why it is
> there."
Well there is a big difference too. Warnings Off is used to avoid the warnings
on unreferenced entity. But if later you start using it the compiler will
remain silent. Unreferenced said that the entity is unreferenced and if you
start using it you'll get a warnings. This will oblige you to revisit the code
and eventually remove the pragma.
Pascal.
--
--|------------------------------------------------------
--| Pascal Obry Team-Ada Member
--| 45, rue Gabriel Peri - 78114 Magny Les Hameaux FRANCE
--|------------------------------------------------------
--| http://perso.wanadoo.fr/pascal.obry
--| "The best way to travel is by means of imagination"
--|
--| gpg --keyserver wwwkeys.pgp.net --recv-key C1082595