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=unavailable autolearn_force=no version=3.4.4 Path: eternal-september.org!reader01.eternal-september.org!feeder.eternal-september.org!aioe.org!.POSTED.fn3LatRFkm9/xzEj7F2/NQ.user.gioia.aioe.org!not-for-mail From: "Dmitry A. Kazakov" Newsgroups: comp.lang.ada Subject: Re: Private extension of a synchronized interface Date: Mon, 18 Feb 2019 09:11:44 +0100 Organization: Aioe.org NNTP Server Message-ID: References: NNTP-Posting-Host: fn3LatRFkm9/xzEj7F2/NQ.user.gioia.aioe.org Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 7bit X-Complaints-To: abuse@aioe.org User-Agent: Mozilla/5.0 (Windows NT 10.0; WOW64; rv:60.0) Gecko/20100101 Thunderbird/60.5.0 X-Notice: Filtered by postfilter v. 0.9.2 Content-Language: en-US Xref: reader01.eternal-september.org comp.lang.ada:55557 Date: 2019-02-18T09:11:44+01:00 List-Id: On 2019-02-18 01:36, Jere wrote: > In the other part that I commented out I was trying to add a publically > available override to the interface operation, but haven't been successful. > Do you know of any syntax changes I might need to do to: > > -- The following lines give the errors: > -- "p1" conflicts with declaration at line xxx > -- and > -- missing body for "p1" > > --overriding > --procedure p1(Self : in out Instance); > > So I don't need to always dispatch? You never need dispatch. When a type is derived it inherits all primitive operations regardless overridings. 1. The type Instance in your example has p1 2. Since Instance is not abstract p1 of Instance cannot be abstract. Therefore x.p1 must be legal. The actual behavior is certainly a bug in the language or in the compiler or in both. -- Regards, Dmitry A. Kazakov http://www.dmitry-kazakov.de