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, MSGID_RANDY 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: Robert Dewar Subject: Re: Binding a type to a union. Date: 1999/11/25 Message-ID: <81k82d$5dq$1@nnrp1.deja.com>#1/1 X-Deja-AN: 552984668 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> <1999Nov25.113617.1@eisner> X-Http-Proxy: 1.0 x43.deja.com:80 (Squid/1.1.22) for client 205.232.38.14 Organization: Deja.com - Before you buy. X-Article-Creation-Date: Thu Nov 25 21:01:02 1999 GMT X-MyDeja-Info: XMYDJUIDrobert_dewar Newsgroups: comp.lang.ada X-Http-User-Agent: Mozilla/4.04 [en] (OS/2; I) Date: 1999-11-25T00:00:00+00:00 List-Id: In article <1999Nov25.113617.1@eisner>, Kilgallen@eisner.decus.org.nospam wrote: > 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). The ARG discusses such issues as part of its role in maintaining the Ada standard, the relevant AI's are available online somewhere :-) > Will we ultimately likely > see the more-restrictive or the less-restrictive variant > adopted ? Who knows? GNAT provides the minimal version which is sufficient for interfacing to C, we decline to make it more general, since we don't think it should be used in any other context. Tuck's taste is to make the pragma much more general, and that is how it is implemented in the Intermetrics front end. Who knows what the ARG will finally agree on, and that's only the first step anyway? > > Larry Kilgallen > Sent via Deja.com http://www.deja.com/ Before you buy.