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=-0.3 required=5.0 tests=BAYES_00,
	REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4
X-Google-Thread: 103376,eea0f90b41664ddc
X-Google-Attributes: gid103376,public
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news2.google.com!news1.google.com!news.germany.com!newsfeed01.sul.t-online.de!newsfeed00.sul.t-online.de!t-online.de!tiscali!newsfeed1.ip.tiscali.net!proxad.net!proxad.net!newsfeed.arcor.de!newsspool4.arcor-online.net!news.arcor.de.POSTED!not-for-mail
From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Subject: Re: Extend Record in Spec and Body
Newsgroups: comp.lang.ada
User-Agent: 40tude_Dialog/2.0.15.1
MIME-Version: 1.0
Content-Type: text/plain; charset="us-ascii"
Content-Transfer-Encoding: 7bit
Reply-To: mailbox@dmitry-kazakov.de
Organization: cbb software GmbH
References: <1161012646.433304.176150@m7g2000cwm.googlegroups.com>
 <acayl5xzj1xx.qr6vffqk731z.dlg@40tude.net> <m27iyyok0c.fsf@grendel.local>
Date: Tue, 17 Oct 2006 22:19:40 +0200
Message-ID: <1tuiwkfacr0ld$.fyq5v350plag$.dlg@40tude.net>
NNTP-Posting-Date: 17 Oct 2006 22:19:33 CEST
NNTP-Posting-Host: 3b07afd1.newsspool3.arcor-online.net
X-Trace: 
 DXC=U69CDi`=BcMk:C4l9A;OcOMcF=Q^Z^V3H4Fo<]lROoRAFl8W>\BH3YBPhA9lB;\a4HDNcfSJ;bb[EIRnRBaCd<MN7J[k\\2_c5J?8^C;X8aHEO
X-Complaints-To: usenet-abuse@arcor.de
Xref: g2news2.google.com comp.lang.ada:7015
Date: 2006-10-17T22:19:33+02:00
List-Id: <comp.lang.ada>

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