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 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-10-01 11:46:49 PST
Path: archiver1.google.com!postnews1.google.com!not-for-mail
From: mheaney@on2.com (Matthew Heaney)
Newsgroups: comp.lang.ada
Subject: Re: Usage of Interfaces with Ada 95
Date: 1 Oct 2003 11:46:48 -0700
Organization: http://groups.google.com
Message-ID: <1ec946d1.0310011046.4d3f8cec@posting.google.com>
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>
 <1064959855.811560@master.nyc.kbcfp.com> <3F7A3EAF.1080509@comcast.net>
 <1065014507.632467@master.nyc.kbcfp.com>
NNTP-Posting-Host: 66.162.65.162
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: 8bit
X-Trace: posting.google.com 1065034008 9683 127.0.0.1 (1 Oct 2003 18:46:48
 GMT)
X-Complaints-To: groups-abuse@google.com
NNTP-Posting-Date: Wed, 1 Oct 2003 18:46:48 +0000 (UTC)
Xref: archiver1.google.com comp.lang.ada:76
Date: 2003-10-01T11:46:48-07:00
List-Id: <comp.lang.ada>

Hyman Rosen <hyrosen@mail.com> wrote in message news:<1065014507.632467@master.nyc.kbcfp.com>...
> Robert I. Eachus wrote:
> > But why would you want to instantiate a generic package that declares an 
> > explicitly tagged type other than as a library unit or in another package?
> 
> Because the generic parameters that I want to supply are
> the results of some computation? If I'm writing a Charles
> algorithm as a procedure, might I not need to instantiate
> some generic packages inside the procedure as part of the
> work I'm doing?

In that case a bounded form might be more appropriate.  Bounded forms
don't derive from Controlled so there is no problem with nesting
levels.

The next release of Charles will have better support for bounded
forms.  I've been too busy with AI-302-02 to release any updates.  My
immediate plan is to prepare submissions (tutorials + paper) for
Ada-Europe 2004.