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,INVALID_MSGID, MSGID_RANDY autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,dfb98535bcaeb3a6 X-Google-Attributes: gid103376,public From: Robert Dewar Subject: Re: Controlled types in local generics? Date: 1999/12/30 Message-ID: <84g2va$q8u$1@nnrp1.deja.com>#1/1 X-Deja-AN: 566537090 References: <386AFDA8.7C3110CC@telepath.com> X-Http-Proxy: 1.0 x42.deja.com:80 (Squid/1.1.22) for client 205.232.38.14 Organization: Deja.com - Before you buy. X-Article-Creation-Date: Thu Dec 30 17:09:24 1999 GMT X-MyDeja-Info: XMYDJUIDrobert_dewar Newsgroups: comp.lang.ada X-Http-User-Agent: Mozilla/4.04 [en] (OS/2; I) Date: 1999-12-30T00:00:00+00:00 List-Id: In article <386AFDA8.7C3110CC@telepath.com>, Ted Dennison wrote: > token_list_test.adb:59:07: controlled type must be > declared at the library level > > Surely this isn't saying that all controlled types must be > declared at the library level? That's pretty amusing really. The error message says quite clearly X, and you respond by saying "surely the error message is not saying X" :-) Yes, indeed the error message means what it says. The only problem here is your incredulity :-) > This is one instance where I'd dearly love to have an LRM > reference in the error message... Well perhaps, but really it would serve no purpose except to confirm that the error message is correct. Perhaps you would be more willing to believe it if you read it in the RM than when GNAT tells you clearly :-) There are various ways to work around this, it is one of the areas where we have helped several of our supported customers. Robert Dewar Ada Core Technologies Sent via Deja.com http://www.deja.com/ Before you buy.