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.8 required=5.0 tests=BAYES_00,FORGED_GMAIL_RCVD,
	FREEMAIL_FROM,PLING_QUERY autolearn=no autolearn_force=no version=3.4.4
X-Google-Thread: 103376,d74cdcee29b02bcc,start
X-Google-Attributes: gid103376,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!news3.google.com!feeder1-2.proxad.net!proxad.net!feeder1-1.proxad.net!cleanfeed3-a.proxad.net!nnrp7-2.free.fr!not-for-mail
Date: Tue, 18 Mar 2008 16:22:36 +0100
From: Tony <truand.tony@gmail.com>
User-Agent: Thunderbird 2.0.0.12 (Windows/20080213)
MIME-Version: 1.0
Newsgroups: comp.lang.ada
Subject: Discriminant ans tagged type ?!
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit
X-Antivirus: avast! (VPS 080318-0, 18/03/2008), Outbound message
X-Antivirus-Status: Clean
Message-ID: <47dfde3d$0$26828$426a74cc@news.free.fr>
Organization: Guest of ProXad - France
NNTP-Posting-Date: 18 Mar 2008 16:22:37 MET
NNTP-Posting-Host: 83.167.145.210
X-Trace: 1205853757 news-1.free.fr 26828 83.167.145.210:1386
X-Complaints-To: abuse@proxad.net
Xref: g2news1.google.com comp.lang.ada:20465
Date: 2008-03-18T16:22:37+01:00
List-Id: <comp.lang.ada>

I just do not understand why the following code compiles with the Aonix 
compiler and not with the Gnat GPL 2007?

     package A_Pkg is
         type A (L : Natural) is tagged null record;
     end A_Pkg;

     package A_Pkg.B_Pkg is
         type B is new A with record
             T : String(1..L);
         end record;
     end A_Pkg.B_Pkg;

     with A_Pkg.B_Pkg;
     procedure Strange is
     begin
         null;
     end Strange;

    => RM95 3.7 (18) ??