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,9d8db3defac005a2 X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2001-11-17 15:46:02 PST Path: archiver1.google.com!news1.google.com!newsfeed.stanford.edu!headwall.stanford.edu!fu-berlin.de!uni-berlin.de!ppp-1-182.cvx4.telinco.NET!not-for-mail From: "Nick Roberts" Newsgroups: comp.lang.ada Subject: Re: Renaming an abstract function Date: Sat, 17 Nov 2001 23:17:29 -0000 Message-ID: <9t6sro$nbro$2@ID-25716.news.dfncis.de> References: <9t1lp1$16unne$1@ID-25716.news.dfncis.de> <3BF6DE1F.6C31A357@home.com> NNTP-Posting-Host: ppp-1-182.cvx4.telinco.net (212.1.148.182) X-Trace: fu-berlin.de 1006040761 765816 212.1.148.182 (16 [25716]) X-Priority: 3 X-MSMail-Priority: Normal X-Newsreader: Microsoft Outlook Express 5.50.4133.2400 X-MimeOLE: Produced By Microsoft MimeOLE V5.50.4133.2400 Xref: archiver1.google.com comp.lang.ada:16658 Date: 2001-11-17T23:17:29+00:00 List-Id: "Mark Biggar" wrote in message news:3BF6DE1F.6C31A357@home.com... > ... > There is an AI that addresses this problem: [AI95-211] > ... > >An abstract subprogram can be renamed, and the renamed view is also > >abstract. Such a renaming must appear in a place where the declaration > >of an abstract subprogram would be legal. Similarly, the "shall be >overridden" > >property of 3.9.3(6) applies to a renamed view. Thus, any renaming of an > >inherited subprogram that must be overridden is illegal. Many thanks for pointing out this AI, Mark. > This explains the compilation error as the renaming "*" is a must be > overridden function as it has an abstract return type and thus is > illegal. I don't think the AI explains it at all, in fact. The renaming of "*" in my example is not attempting to rename an inherited subprogram. The type T is a root abstract type (not derived from anything), so the functions P and "*" are not inherited. -- Best wishes, Nick Roberts