From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Subject: Re: Extend Record in Spec and Body
Date: Tue, 17 Oct 2006 22:19:40 +0200
Date: 2006-10-17T22:19:33+02:00 [thread overview]
Message-ID: <1tuiwkfacr0ld$.fyq5v350plag$.dlg@40tude.net> (raw)
In-Reply-To: m27iyyok0c.fsf@grendel.local
On Tue, 17 Oct 2006 19:49:23 +0100, Simon Wright wrote:
> "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> writes:
>
>> Yes, but not in the body and each extension would produce a new
>> type.
>
> I have written code that extends an abstract tagged type (declared in
> the package spec) in the package body, why would that be a problem?
> (in fact I do it 3 times ...)
Because *a* record cannot be extended twice. See the first posting in the
thread. As I understood it, OP wished to provide (A) two accumulating
record extensions resulting in the same type. (B) The first "incomplete"
extension should happen in the specification. The second "completion"
extension should in the body. Neither is legal in Ada.
--
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de
prev parent reply other threads:[~2006-10-17 20:19 UTC|newest]
Thread overview: 8+ messages / expand[flat|nested] mbox.gz Atom feed top
2006-10-16 15:30 Extend Record in Spec and Body richard.charts
2006-10-16 16:53 ` Jean-Pierre Rosen
2006-10-16 17:20 ` Richard Charts
2006-10-17 0:33 ` Georg Bauhaus
2006-10-17 1:11 ` Randy Brukardt
2006-10-17 7:30 ` Dmitry A. Kazakov
2006-10-17 18:49 ` Simon Wright
2006-10-17 20:19 ` Dmitry A. Kazakov [this message]
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox