From: Simon Wright <simon@pushface.org>
Subject: Re: Private extension of a synchronized interface
Date: Mon, 18 Feb 2019 08:29:45 +0000
Date: 2019-02-18T08:29:45+00:00 [thread overview]
Message-ID: <lyh8d1o5xi.fsf@pushface.org> (raw)
In-Reply-To: q4dpbv$n8e$1@gioia.aioe.org
"Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> writes:
> 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.
You ought to distinguish between behaviour you disapprove of and
behaviour which is illegal in Ada-as-it-is when people are sking for
help with a current problem.
next prev parent reply other threads:[~2019-02-18 8:29 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 [this message]
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