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.3 required=5.0 tests=BAYES_00,INVALID_MSGID
	autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,6b6619eb9cada212
X-Google-Attributes: gid103376,public
From: Stephen Leake <Stephen.Leake@gsfc.nasa.gov>
Subject: Re: Help me to chose between ADA 95 and C++
Date: 1999/12/15
Message-ID: <ur9gnc1fd.fsf@gsfc.nasa.gov>#1/1
X-Deja-AN: 561139445
References: <01bf37fb$a91afb60$0564a8c0@IS-D2D04C.test>
 <B46461D2.259F%Harald.Schmidt@tomcat.de>
 <829rbv$a8m$1@nntp6.atl.mindspring.net> <01bf3e32$0b9dc880$022a6282@dieppe>
 <385112AE.7E2CFA9@rdel.co.uk>
 <Pine.BSF.4.21.9912131540530.6417-100000@shell5.ba.best.com>
 <38564CD6.F13F69FB@rdel.co.uk> <m3u2llv5rt.fsf@kiuk0156.chembio.ntnu.no>
 <uwvqhbbxy.fsf@gsfc.nasa.gov> <3856A1F5.4E360DC@averstar.com>
Organization: NASA Goddard Space Flight Center -- Greenbelt, Maryland USA
Newsgroups: comp.lang.ada
Date: 1999-12-15T00:00:00+00:00
List-Id: <comp.lang.ada>

Tucker Taft <stt@averstar.com> writes:

> Stephen Leake wrote:

> A trio of pragmas have been proposed for eventual standardization that will
> allow the compiler to catch this problem.  Basically you will be able
> to indicate whether a given operation is or is not presumed to override
> some inherited operation.  See the following AI for details:
> 
>     http://www.ada-auth.org/cgi-bin-acats/cvsweb.cgi/AIs/AI-00218.DOC?rev=1.3

Cool. Those look like just what I want. 

Is ACT putting these in GNAT? or should I add that to my list of
things to do?

-- Stephe