From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Subject: Re: Private extension of a synchronized interface
Date: Mon, 18 Feb 2019 09:11:44 +0100
Date: 2019-02-18T09:11:44+01:00 [thread overview]
Message-ID: <q4dpbv$n8e$1@gioia.aioe.org> (raw)
In-Reply-To: bc3cde96-2655-4cd7-9b69-aecba3963f71@googlegroups.com
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
next prev parent reply other threads:[~2019-02-18 8:11 UTC|newest]
Thread overview: 29+ messages / expand[flat|nested] mbox.gz Atom feed top
2019-02-16 0:52 Private extension of a synchronized interface Jere
2019-02-17 9:50 ` Dmitry A. Kazakov
2019-02-17 13:46 ` Jere
2019-02-17 14:52 ` Dmitry A. Kazakov
2019-02-17 15:36 ` Jere
2019-02-17 16:28 ` Dmitry A. Kazakov
2019-02-17 20:56 ` Jere
2019-02-17 22:36 ` Simon Wright
2019-02-18 0:36 ` Jere
2019-02-18 8:11 ` Dmitry A. Kazakov [this message]
2019-02-18 8:29 ` Simon Wright
2019-02-18 8:42 ` Dmitry A. Kazakov
2019-02-18 8:26 ` Simon Wright
2019-02-18 8:33 ` Simon Wright
2019-02-18 15:40 ` Jere
2019-02-18 17:24 ` Simon Wright
2019-02-19 11:04 ` Simon Wright
2019-02-20 2:36 ` Jere
2019-02-20 10:46 ` Simon Wright
2019-02-20 15:04 ` Jere
2019-02-18 15:49 ` Jere
2019-02-18 22:06 ` Randy Brukardt
2019-02-18 22:35 ` Randy Brukardt
2019-02-19 10:01 ` Egil H H
2019-02-19 11:29 ` Simon Wright
2019-02-19 11:53 ` Egil H H
2019-02-20 2:32 ` Jere
2019-02-20 13:46 ` Simon Wright
2019-02-20 23:43 ` Randy Brukardt
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox