From: Ted Dennison <dennison@telepath.com>
Subject: Controlled types in local generics?
Date: 1999/12/30
Date: 1999-12-30T00:00:00+00:00 [thread overview]
Message-ID: <386AFDA8.7C3110CC@telepath.com> (raw)
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
next reply other threads:[~1999-12-30 0:00 UTC|newest]
Thread overview: 13+ messages / expand[flat|nested] mbox.gz Atom feed top
1999-12-30 0:00 Ted Dennison [this message]
1999-12-30 0:00 ` Controlled types in local generics? Mats Weber
1999-12-30 0:00 ` Robert Dewar
1999-12-30 0:00 ` Ted Dennison
1999-12-30 0:00 ` Robert Dewar
1999-12-30 0:00 ` Ted Dennison
1999-12-31 0:00 ` Robert Dewar
1999-12-31 0:00 ` Ted Dennison
1999-12-30 0:00 ` Florian Weimer
1999-12-30 0:00 ` Robert Dewar
1999-12-30 0:00 ` Gautier
1999-12-30 0:00 ` Ted Dennison
1999-12-30 0:00 ` Simon Wright
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox