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.9 required=5.0 tests=BAYES_00,FREEMAIL_FROM
	autolearn=ham autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,309015504ed37ff0
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2003-09-30 15:11:26 PST
Path: 
 archiver1.google.com!news2.google.com!newsfeed.stanford.edu!nntp.cs.ubc.ca!skynet.be!skynet.be!newsfeed2.funet.fi!newsfeeds.funet.fi!nntp.inet.fi!inet.fi!ash.uu.net!spool.news.uu.net!not-for-mail
Date: Tue, 30 Sep 2003 18:10:54 -0400
From: Hyman Rosen <hyrosen@mail.com>
User-Agent: Mozilla/5.0 (Windows; U; Windows NT 5.0; en-US;
 rv:1.5b) Gecko/20030901 Thunderbird/0.2
X-Accept-Language: en-us, en
MIME-Version: 1.0
Newsgroups: comp.lang.ada
Subject: Re: Usage of Interfaces with Ada 95
References: <fh6e41-vfo.ln1@boavista.snafu.de>
 <1064595326.831730@master.nyc.kbcfp.com> <u65jdiro7.fsf@earthlink.net>
 <4nii41-067.ln1@boavista.snafu.de> <3F7726E4.6040402@comcast.net>
 <RgNdb.7920$kD3.7890@nwrdny03.gnilink.net> <3F78F430.1070909@comcast.net>
 <1064929111.851223@master.nyc.kbcfp.com> <3F79F996.3020500@comcast.net>
In-Reply-To: <3F79F996.3020500@comcast.net>
Content-Type: text/plain; charset=us-ascii; format=flowed
Content-Transfer-Encoding: 7bit
Organization: KBC Financial Products
Message-ID: <1064959855.811560@master.nyc.kbcfp.com>
Cache-Post-Path: master.nyc.kbcfp.com!unknown@nightcrawler.nyc.kbcfp.com
X-Cache: nntpcache 3.0.1 (see http://www.nntpcache.org/)
NNTP-Posting-Host: 204.253.250.10
X-Trace: 1064959856  9694 204.253.250.10
Xref: archiver1.google.com comp.lang.ada:42
Date: 2003-09-30T18:10:54-04:00
List-Id: <comp.lang.ada>

Robert I. Eachus wrote:
> So other than trivial examples, ALL tagged types I create are at the 
> library level.

If a generic package defines a controlled type, can that
package be instantiated at non-library level?