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=2.1 required=5.0 tests=BAYES_40,INVALID_MSGID,
	REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,68c11ba628510a3a,start
X-Google-Attributes: gid103376,public
From: David Hunter <dhunter@interserf.net>
Subject: Conrolled types at library level only?
Date: 1996/08/26
Message-ID: <32221600.69CD@interserf.net>#1/1
X-Deja-AN: 176630347
content-type: text/plain; charset=us-ascii
organization: InterSerF.net, Fredericksburg, Virginia, USA
mime-version: 1.0
reply-to: dhunter@interserf.net
newsgroups: comp.lang.ada
x-mailer: Mozilla 3.0b7 (Win95; I)
Date: 1996-08-26T00:00:00+00:00
List-Id: <comp.lang.ada>


I've got a generic package that defines a controlled type.
When I try to instantiate the package in a procedure,
GNAT (3.04a) tells me that conrolled types can only be
defined at library level.  Sure enough, I can instantiate 
the generic in a package but not in a procedure.  Is
this rule part of the Ada95 definition or a particular
weakness of GNAT?

--
David Hunter
Mary Washington College
Computer Science Department
hunter@mwc.edu