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=-1.3 required=5.0 tests=BAYES_00,INVALID_MSGID
	autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,9fb7299100a4c4db
X-Google-Attributes: gid103376,public
From: dennison@telepath.com
Subject: Re: Abstract realizations can't be inherited??
Date: 1998/08/28
Message-ID: <6s6gku$gk6$1@nnrp1.dejanews.com>#1/1
X-Deja-AN: 385626230
References: <6s491q$usm$1@nnrp1.dejanews.com>
 <EyDBJB.6JH.0.-s@inmet.camb.inmet.com>
Organization: Deja News - The Leader in Internet Discussion
X-Article-Creation-Date: Fri Aug 28 14:59:42 1998 GMT
Newsgroups: comp.lang.ada
X-Http-User-Agent: Mozilla/4.05 [en] (WinNT; I)
Date: 1998-08-28T00:00:00+00:00
List-Id: <comp.lang.ada>

In article <EyDBJB.6JH.0.-s@inmet.camb.inmet.com>,
  stt@houdini.camb.inmet.com (Tucker Taft) wrote:
> This is not the intent of 3.9.3(6).  It is only talking about the
> type from which the subprograms are inherited.  For a record
> extension, it is the direct parent.  For a private extension,
> it is whatever ancestor is specified.

Good. That's the way I'd expect it to work.

> It would be helpful if you included the relevant source code.  It may
> either be that there is a compiler bug, or that the description above
> lacks some critical detail.

I had to move on, so that code isn't around in that form any more. However, I
rigged up a dummy example, and I think I see my problem. ...My problem with
the code anyway :-).

package Thingamabob is
   type Instance is abstract tagged null record;

   procedure Foo (On : in out Instance) is abstract;

end Thingamabob;

package Thingamabob.Big is
   type Instance is new Thingamabob.Instance with private;

private
   procedure Foo (On : in out Instance);

   type Instance is new Thingamabob.Instance with null record;
end Thingamabob.Big;

with Thingamabob.Big;
package Big_And_Hairy_Thingamabob is
   type Instance is new Thingamabob.Big.Instance with private;

private

   type Instance is new Thingamabob.Big.Instance with null record;
end Big_And_Hairy_Thingamabob;

This gives me the error. But if I move the declartion of Thingamabob.Big.Foo
out of the private section, it works ok. So it looks like the real problem is
that I can't inherit a routine declared in the private section. That seems a
little more sensible.

The thing that makes that a little odd is that I can directly call
Thingamabob.Big.Foo, even though its declared in the private section. So for
the purposes of calling it isn't really "private", but for the purposes of
inheritance it is. %-(

--
T.E.D.

-----== Posted via Deja News, The Leader in Internet Discussion ==-----
http://www.dejanews.com/rg_mkgrp.xp   Create Your Own Free Member Forum