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.9 required=5.0 tests=BAYES_00,WEIRD_PORT
	autolearn=ham autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,9da5d24e17589a88,start
X-Google-Attributes: gid103376,public
Path: 
 controlnews3.google.com!news1.google.com!news.glorb.com!news.cs.univ-paris8.fr!ciril.fr!univ-lille1.fr!not-for-mail
From: Xaelis <Alexis.Muller@nospam.lifl.fr>
Newsgroups: comp.lang.ada
Subject: type extension at deeper accessibility level than parent
Date: Tue, 04 May 2004 11:47:27 +0200
Organization: Universite des Sciences et Technologies de LILLE, France
Message-ID: <pan.2004.05.04.09.47.26.650290@nospam.lifl.fr>
NNTP-Posting-Host: joshua.lifl.fr
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-15
Content-Transfer-Encoding: 8bit
User-Agent: Pan/0.14.2 (This is not a psychotic episode. It's a cleansing
 moment of clarity.)
Xref: controlnews3.google.com comp.lang.ada:230
Date: 2004-05-04T11:47:27+02:00
List-Id: <comp.lang.ada>

Hi,

I don't understand why i can't do somthing like that :

-- a.ads

package A is
   type X is abstract tagged null record;
end A;

-- b.ads

with A;

generic
   type P is private;
package B is
   type Y is new A.X with null record;
end B;

--  essai.adb

with B;

procedure Essai is
   package C is new B (Integer);
begin
   null;
end Essai;

I have :
essai.adb:4:04: instantiation error at b.ads:6
essai.adb:4:04: type extension at deeper accessibility level than parent

I don't know why is it a problem and who to solve it.
Thanks for your help.

-- 
Alexis Muller
Laboratoire d'Informatique Fondamentale de Lille (LIFL)
Universite de Lille 1 - 59655 Villeneuve d'Ascq Cedex
Web : http://www.lifl.fr/~mullera