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,d754b1fad3846b22 X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2001-06-06 09:10:26 PST Path: archiver1.google.com!newsfeed.google.com!newsfeed.stanford.edu!bloom-beacon.mit.edu!news.bu.edu!inmet!not-for-mail From: Tucker Taft Newsgroups: comp.lang.ada Subject: Re: Calling all language lawyers.... Date: Wed, 06 Jun 2001 12:10:25 -0400 Organization: AverStar (formerly Intermetrics) Burlington, MA USA Message-ID: <3B1E55F1.4AC27776@averstar.com> References: <3B1E34E1.70D8BD0@ftw.rsc.raytheon.com> NNTP-Posting-Host: nebula.burl.averstar.com Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit X-Trace: inmet2.burl.averstar.com 991843825 28951 141.199.8.77 (6 Jun 2001 16:10:25 GMT) X-Complaints-To: usenet@inmet2.burl.averstar.com NNTP-Posting-Date: 6 Jun 2001 16:10:25 GMT X-Mailer: Mozilla 4.75 [en] (X11; U; SunOS 5.7 sun4u) X-Accept-Language: en Xref: archiver1.google.com comp.lang.ada:8237 Date: 2001-06-06T16:10:25+00:00 List-Id: Wes Groleau wrote: > > Is there anything anywhere that prohibits using a subtype > in pragma Convention? I've dug around in Annex B in the > RM & AARM and found no such language. (Nor did I find any > requiring it to be supported.) > > I'm porting some code that did this to a compiler > that doesn't allow it. Pragma convention defines a type-related convention (all subtypes of a type have the same convention), so it only makes sense to apply it to a first subtype. The proof that pragma convention is type-related is based on the statement in RM95 13.1(8) which says only Size and Alignment clauses specify subtype-specific representation aspects. All other representation items identifying subtypes are specifying type-related representation aspects. Pragma convention specifies the "convention" aspect of representation (RM95 B.1(28)). > > -- > Wes Groleau > http://freepages.rootsweb.com/~wgroleau -- -Tucker Taft stt@avercom.net http://www.avercom.net Chief Technology Officer, AverCom Corporation (A Titan Company) Burlington, MA USA (AverCom was formerly the Commercial Division of AverStar: http://www.averstar.com/~stt)