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.3 required=5.0 tests=BAYES_00,
	REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4
X-Google-Thread: 103376,7cf1a45a698eee91,start
X-Google-Attributes: gid103376,public
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!news4.google.com!border1.nntp.dca.giganews.com!nntp.giganews.com!newsfeed00.sul.t-online.de!newsfeed01.sul.t-online.de!t-online.de!newsfeed.arcor.de!news.arcor.de!not-for-mail
From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Subject: GNAT GPL, generics
Newsgroups: comp.lang.ada
User-Agent: 40tude_Dialog/2.0.14.1
MIME-Version: 1.0
Content-Type: text/plain; charset="us-ascii"
Content-Transfer-Encoding: 7bit
Reply-To: mailbox@dmitry-kazakov.de
Organization: cbb software GmbH
Date: Sun, 2 Oct 2005 11:15:08 +0200
Message-ID: <60bvjt9vl07y$.1nmt309hh2hhr.dlg@40tude.net>
NNTP-Posting-Date: 02 Oct 2005 11:15:08 MEST
NNTP-Posting-Host: cf43c769.newsread2.arcor-online.net
X-Trace: 
 DXC=TmJ7[AYhJ2=g0XoR1BOW]<Q5U85hF6f;4jW\KbG]kaM8GSi?jHD8GO004bQLcm0Cm1[6LHn;2LCV>I^><>f3dFY:Zf>kHKmGm7:
X-Complaints-To: abuse@arcor.de
Xref: g2news1.google.com comp.lang.ada:5333
Date: 2005-10-02T11:15:08+02:00
List-Id: <comp.lang.ada>

It seems that in GNAT GPL generics are even more buggy than they were in
3.15p. The most interesting new "feature" is that you can have spec. and
body compiled and yet get errors in them upon instantiation, just like in
C++ templates! Another is that declarations in formal packages of a generic
child can somewhat hide (without being "use"-ed!) declarations of the
parent. It is almost impossible to use parameters of parameters:

generic
   with package A (<>);
   with package B (A.Something);
package C is

It will be a total mess in the children of C.

Does anybody have experience with?

-- 
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de