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.2 required=5.0 tests=BAYES_00,INVALID_MSGID,
	REPLYTO_WITHOUT_TO_CC,T_FILL_THIS_FORM_SHORT autolearn=no
	autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,49a391566586ce57,start
X-Google-Attributes: gid103376,public
From: lance@lainet.com (Lance )
Subject: Help! type extensions - Gnat for Win95
Date: 1996/04/14
Message-ID: <317169a3.48223533@news.lainet.com>#1/1
X-Deja-AN: 147490626
organization: LA Internet [(310) 442-4655 modem, 442-4670 voice]
reply-to: lance@lainet.com
newsgroups: comp.lang.ada
Date: 1996-04-14T00:00:00+00:00
List-Id: <comp.lang.ada>

I am trying to make a hierarchy of data structures as a hierarchy of
types.   Consider the following code:

---------------------------------------------------------------------------
package Containers is
  type Container is abstract tagged private;
private
  type Container is abstract tagged null record;
end Containers;

package Containers.Stacks is
  type Stack is new Container with private;
  procedure Put (S: Stack) is abstract;
private
  type Stack is new Container with null record;
end Containers.Stacks;

package Containers.Stacks.Bounded_Stacks is
  type Bounded_Stack is limited private;
private
  type Bounded_STack is new *Stack with record
      ---------
      ---------
  end record;
end Containers.Stacks.Bounded_Stacks;
------------------------------------------------------------------------------------

All of the above code compiles fine.  However, I try to use the
package in test program the compiler tells me  "type extension at
deeper accessibility level than parent." at the line in
Containers.Stacks.Bounded_STacks that defines the type. (marked with *
above)
  

Thanks in advance for any help that you may be able to provide.

Lance
lance@lainet.com