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.3 required=5.0 tests=BAYES_00,FREEMAIL_FROM,
	INVALID_MSGID autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,4bce46ddadaa9806
X-Google-Attributes: gid103376,public
From: Mats Weber <matsw@mail.com>
Subject: Re: What is wrong here? (Generic and controlled types)
Date: 2000/04/06
Message-ID: <38EC6B3E.9225F1D4@mail.com>#1/1
X-Deja-AN: 607485847
Content-Transfer-Encoding: 7bit
References: <38E871E6.8D9EBE71@lufmech.rwth-aachen.de>
 <8caebe$6us$1@nnrp1.deja.com> <8cahmn$apq$1@nnrp1.deja.com>
 <wcc7ledkf8j.fsf@world.std.com>
X-Accept-Language: en
Content-Type: text/plain; charset=us-ascii
X-Complaints-To: usenet@sunrise.ch
X-Trace: news1.sunrise.ch 955018046 19830 195.141.231.162 (6 Apr 2000 10:47:26
 GMT)
Organization: Usenet provided by sunrise communications ag
Mime-Version: 1.0
NNTP-Posting-Date: 6 Apr 2000 10:47:26 GMT
Newsgroups: comp.lang.ada
Date: 2000-04-06T10:47:26+00:00
List-Id: <comp.lang.ada>

Robert A Duff wrote:

>      >>> instantiation error at generic_vectors.ads:75
>      >>> controlled type must be declared at the library level
>      >>> Move instantiation out of procedure Main and into a library package.

I think the message is misleading (both the actual GNAT message and the
above modified version) in the sense that it does not direct the user to
the actual rule he is violating, which is that one cannot derive a
tagged type at a level deeper than its parent.