comp.lang.ada
 help / color / mirror / Atom feed
From: mheaney@on2.com (Matthew Heaney)
Subject: Re: Usage of Interfaces with Ada 95
Date: 1 Oct 2003 11:46:48 -0700
Date: 2003-10-01T11:46:48-07:00	[thread overview]
Message-ID: <1ec946d1.0310011046.4d3f8cec@posting.google.com> (raw)
In-Reply-To: 1065014507.632467@master.nyc.kbcfp.com

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.



  parent reply	other threads:[~2003-10-01 18:46 UTC|newest]

Thread overview: 43+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2003-09-26 16:36 Usage of Interfaces with Ada 95 Michael Erdmann
2003-09-26 16:50 ` chris
2003-09-26 16:55 ` Hyman Rosen
2003-09-26 19:10   ` Michael Erdmann
2003-09-26 20:37     ` Hyman Rosen
2003-09-27 15:05       ` Michael Erdmann
2003-09-28  2:11         ` Matthew Heaney
2003-09-29  2:25         ` George Shapovalov
2003-09-28  2:14   ` Matthew Heaney
2003-09-28  8:28     ` Michael Erdmann
2003-09-28 14:33       ` Matthew Heaney
2003-09-28 15:09         ` Michael Erdmann
2003-09-28 21:50           ` Matthew Heaney
2003-09-30  4:57             ` Michael Erdmann
2003-09-30 10:02               ` Mário Amado Alves
2003-09-30 12:31               ` Matthew Heaney
2003-09-30 19:58                 ` Michael Erdmann
2003-09-28 17:10         ` Simon Wright
2003-09-28 21:52           ` Matthew Heaney
2003-09-28 21:58           ` Matthew Heaney
2003-09-29 19:37             ` Georg Bauhaus
2003-09-29 19:45               ` Georg Bauhaus
2003-09-30  7:10               ` Preben Randhol
2003-09-29 20:11             ` Simon Wright
2003-09-29 22:56               ` Matthew Heaney
2003-09-30 14:53                 ` Matthew Heaney
2003-09-30 16:13                   ` Preben Randhol
2003-09-29 13:49           ` Matthew Heaney
2003-09-28 18:22       ` Robert I. Eachus
2003-09-29  3:02         ` Hyman Rosen
2003-09-30  3:11           ` Robert I. Eachus
2003-09-30 13:38             ` Hyman Rosen
2003-09-30 21:46               ` Robert I. Eachus
2003-09-30 22:10                 ` Hyman Rosen
2003-10-01  2:30                   ` Robert I. Eachus
2003-10-01  2:41                   ` Robert I. Eachus
2003-10-01 13:21                     ` Hyman Rosen
2003-10-01 17:01                       ` Robert I. Eachus
2003-10-01 18:46                       ` Matthew Heaney [this message]
2003-09-29 14:52       ` Stephen Leake
2003-09-29 23:00         ` Matthew Heaney
2003-09-30 12:49           ` Marin David Condic
2003-09-30 23:48             ` Matthew Heaney
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox