From: Egil H H <ehh.public@gmail.com>
Subject: Re: Private extension of a synchronized interface
Date: Tue, 19 Feb 2019 02:01:55 -0800 (PST)
Date: 2019-02-19T02:01:55-08:00 [thread overview]
Message-ID: <7c20337f-7936-401b-bbf2-a4a7c261825b@googlegroups.com> (raw)
In-Reply-To: <q4fbv1$2pq$1@franka.jacob-sparre.dk>
On Monday, February 18, 2019 at 11:35:15 PM UTC+1, Randy Brukardt wrote:
>
> This appears to be a GNAT bug, although I'm not 100% certain.
There's definitely at least one GNAT bug here.
Forcing a dispatching call on the interface (as suggested by Simon) works,
Example.An_Interface'Class(v).p1;
but forcing a dispatching call on the private extension, does not
Example.Instance'Class(v).p1;
It compiles and runs, but seems to call a null body...
--
~egilhh
next prev parent reply other threads:[~2019-02-19 10:01 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
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 [this message]
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