comp.lang.ada
 help / color / mirror / Atom feed
From: Xaelis <Alexis.Muller@nospam.lifl.fr>
Subject: type extension at deeper accessibility level than parent
Date: Tue, 04 May 2004 11:47:27 +0200
Date: 2004-05-04T11:47:27+02:00	[thread overview]
Message-ID: <pan.2004.05.04.09.47.26.650290@nospam.lifl.fr> (raw)

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




             reply	other threads:[~2004-05-04  9:47 UTC|newest]

Thread overview: 3+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2004-05-04  9:47 Xaelis [this message]
2004-05-04 12:33 ` type extension at deeper accessibility level than parent Martin Krischik
2004-05-04 18:35 ` Stephen Leake

replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox