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.2 required=5.0 tests=BAYES_00,INVALID_MSGID, REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,cc7bad83fb245cb3 X-Google-Attributes: gid103376,public From: kilgallen@eisner.decus.org (Larry Kilgallen) Subject: Re: Binding a type to a union. Date: 1999/11/25 Message-ID: <1999Nov25.113617.1@eisner>#1/1 X-Deja-AN: 552978892 References: <383ae9f8_3@news1.prserv.net> <81f3qe$jln$1@nnrp1.deja.com> <1999Nov23.215123.1@eisner> <81ignc$gb$1@nnrp1.deja.com> <1999Nov25.091201.1@eisner> <1103_943541468@DZOG-CHEN> X-Trace: news.decus.org 943547782 7919 KILGALLEN [216.44.122.34] Organization: LJK Software Reply-To: Kilgallen@eisner.decus.org.nospam Newsgroups: comp.lang.ada Date: 1999-11-25T00:00:00+00:00 List-Id: In article <1103_943541468@DZOG-CHEN>, falis@ma.aonix.com (Ed Falis) writes: > On Thu, 25 Nov 1999 14:12:01 GMT, kilgallen@eisner.decus.org (Larry Kilgallen) wrote: > >> > >> > No one said this was a standard pragma, it is not! All I said >> > was that it was not GNAT specific. Look it up in the Aonix >> > documentation, or the GNAT documentation, or the Greenhills >> > documentation etc. The GNAT implementation is slightly more >> > restrictive than the Intermetrics one I believe. >> >> It must be a _lot_ more _documented_, as I find no reference in the >> Aonix Annex M section on Implementation-define pragmas (page 1-3 >> of UD/UG/A0000-05625/001, dated Mar97, the most recent version >> distributed by Aonix to subscription customers). >> >> Larry Kilgallen > > Thanks for pointing out the error in Annex M - I'll file a documentation problem > report. > > Unchecked_Union and C_Pass_by_Copy are documented in the "Tour of > ObjectAda" document in the section on interfacing to other languages. Indeed, now that you point them out, I find them in that document. It does require turning to the right section, as that document has no index at all. But what would really be required for an efficient lookup would be a master index covering all 12 of the ObjectAda documents, and even my favorite documentation tool does not handle the Master Index problem adequately. ===== It might be good if Ada implementors when documenting pragmas that are implementation-defined could indicate that they know of other implementations of a pragma by the same name. Given Robert's comment about variations in the degree of restriction on this pragma between implementations, what is the general process by which people see a useful but not standard pragma evolving into a standard one (not this paragma in particular). Will we ultimately likely see the more-restrictive or the less-restrictive variant adopted ? Larry Kilgallen