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,381b38831db17ac9 X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2001-12-22 13:14:03 PST Path: archiver1.google.com!news1.google.com!newsfeed.stanford.edu!news-spur1.maxwell.syr.edu!news.maxwell.syr.edu!newsfeed.cwix.com!prairie.attcanada.net!newsfeed.attcanada.net!204.127.161.4!wn4feed!worldnet.att.net!204.127.198.204!attbi_feed4!attbi.com!rwcrnsc52.POSTED!not-for-mail From: "Mark Lundquist" Newsgroups: comp.lang.ada References: <3C24DF92.7040205@mediaone.net> Subject: Re: Who is wrong, me or GNAT? :-) 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 Message-ID: NNTP-Posting-Host: 12.224.45.159 X-Complaints-To: abuse@attbi.com X-Trace: rwcrnsc52 1009055642 12.224.45.159 (Sat, 22 Dec 2001 21:14:02 GMT) NNTP-Posting-Date: Sat, 22 Dec 2001 21:14:02 GMT Organization: AT&T Broadband Date: Sat, 22 Dec 2001 21:14:02 GMT Xref: archiver1.google.com comp.lang.ada:18250 Date: 2001-12-22T21:14:02+00:00 List-Id: "Ed Falis" wrote in message news:3C24DF92.7040205@mediaone.net... > > RM 3.9.3 (4-6) > > Functions with a controlling result must be explicitly overridden when > the parent type is derived (or the derived type has to be declared > abstract), as they're considered abstract in the derived type. > oh yeah, I let the abstractness of the root type confuse me about something I already understood :-)... these go abstract for tagged types, because there's no downcast from a specific tagged type and hence no conversion for the result returned by the inherited body. So I don't need any abstract types to get this error :-) thx Mark