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-Thread: 103376,74dad3573c51736a X-Google-NewGroupId: yes X-Google-Attributes: gida07f3367d7,domainid0,public,usenet X-Google-Language: ENGLISH,CP1252 Received: by 10.68.35.68 with SMTP id f4mr2947468pbj.5.1322028322038; Tue, 22 Nov 2011 22:05:22 -0800 (PST) Path: lh20ni7985pbb.0!nntp.google.com!news2.google.com!postnews.google.com!q9g2000yqe.googlegroups.com!not-for-mail From: Adam Beneschan Newsgroups: comp.lang.ada Subject: =?windows-1252?Q?Re=3A_Basic_questions_about_wordings_in_=93Interfacing?= =?windows-1252?Q?_Pragmas=94?= Date: Tue, 22 Nov 2011 22:05:21 -0800 (PST) Organization: http://groups.google.com Message-ID: <2f22a9b7-20ce-4cf5-9010-b13fd2f307b3@q9g2000yqe.googlegroups.com> References: NNTP-Posting-Host: 68.4.246.214 Mime-Version: 1.0 X-Trace: posting.google.com 1322028321 19553 127.0.0.1 (23 Nov 2011 06:05:21 GMT) X-Complaints-To: groups-abuse@google.com NNTP-Posting-Date: Wed, 23 Nov 2011 06:05:21 +0000 (UTC) Complaints-To: groups-abuse@google.com Injection-Info: q9g2000yqe.googlegroups.com; posting-host=68.4.246.214; posting-account=duW0ogkAAABjRdnxgLGXDfna0Gc6XqmQ User-Agent: G2/1.0 X-Google-Web-Client: true X-Google-Header-Order: ARLUEHNKC X-HTTP-UserAgent: Mozilla/4.0 (compatible; MSIE 8.0; Windows NT 6.1; WOW64; Trident/4.0; SLCC2; .NET CLR 2.0.50727; .NET CLR 3.5.30729; .NET CLR 3.0.30729; Media Center PC 6.0; HPDTDF; BRI/1; .NET4.0C; BRI/2; AskTbARS/5.12.2.16749),gzip(gfe) Xref: news2.google.com comp.lang.ada:14547 Content-Type: text/plain; charset=windows-1252 Content-Transfer-Encoding: quoted-printable Date: 2011-11-22T22:05:21-08:00 List-Id: On Nov 22, 8:39=A0pm, Yannick Duch=EAne (Hibou57) wrote: > Le Tue, 22 Nov 2011 21:07:53 +0100, Adam Beneschan a > =E9crit: > > >> In notes at the bottom> 46 5 =A0The local_name in an interfacing pragm= a > >> can denote more > >> > than one entity in the case of overloading. Such a pragma > >> > applies to all of the denoted entities. > > >> Why not the same with types derived from a type with an interfacing > >> pragma > >> ? > > > Types can't be overloaded. =A0Since you can declare more than one > > subprogram with the same name, the purpose of this note is to describe > > what happens if you use that name in one of these pragmas, in that > > case. =A0There's no need for a similar rule about types. > > Oops, I was misunderstood here. > > Say T11 is tagged type. A pragma specify some convention for T11. > According to this RM page, then a type T12 extending (or not) T11, will > hold the same convention too. > > Say T21 is a =93classic=94 scalar type. A pragma specify some convention = for > T21. According to this RM page, then a `type T22 is new T21;` will not > hold the same convention, because it is not denoted by the same same any > more, and it is not tagged. > > I am not feeling fine with this: T12 will keep the convention, while T22 > won't. T22 should too. Now I'm really confused. First of all, I already pointed you to the section that says that T22 *will* keep the convention applied to T21. Second, I've looked through B.1 twice and can't find any language in there that applies to tagged types differently from untagged types. What part of this section made you think that there was a difference? > Similarly: formally (no compiler specific answer please), what about > `subtype T23 is T21;`. Not denoted by the same name too, so too not > warranted to still hold the convention specified for T21 ? If so, this is > another reason for me to not feeling OK. Please go back and reread what I wrote about subtypes. T23 and T21 are the same ***type***. Whatever Convention pragma applies to T21 also applies to T23 because it's the same type. -- Adam