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, WEIRD_PORT autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,dfb98535bcaeb3a6,start X-Google-Attributes: gid103376,public From: Ted Dennison Subject: Controlled types in local generics? Date: 1999/12/30 Message-ID: <386AFDA8.7C3110CC@telepath.com>#1/1 X-Deja-AN: 566405396 Content-Transfer-Encoding: 7bit X-Accept-Language: en,pdf Content-Type: text/plain; charset=us-ascii X-Complaints-To: Abuse Role , We Care X-Trace: newshog.newsread.com 946535632 216.14.8.25 (Thu, 30 Dec 1999 01:33:52 EST) Organization: Telepath Systems (telepath.com) MIME-Version: 1.0 NNTP-Posting-Date: Thu, 30 Dec 1999 01:33:52 EST Newsgroups: comp.lang.ada Date: 1999-12-30T00:00:00+00:00 List-Id: I have a simple controlled type declared in a generic package. I tried to instantiate it inside of a declare block. When I compile that source file with gnat I get the following error message: token_list_test.adb:59:07: instantiation error at opentoken-token-list.ads:96 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? I can't find anything in the LRM that says that, and I'm pretty sure some of the booch components use generics with controlled types in them. This is one instance where I'd dearly love to have an LRM reference in the error message... -- T.E.D. Home - mailto:dennison@telepath.com WWW - http://www.telepath.com/dennison/Ted/TED.html