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,8e396f80f7d741d0,start
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 1995-02-24 14:01:58 PST
Newsgroups: comp.lang.ada
Path: 
 nntp.gmd.de!stern.fokus.gmd.de!ceres.fokus.gmd.de!zib-berlin.de!news.mathworks.com!udel!gatech!howland.reston.ans.net!news.sprintlink.net!crash!telesoft!east.alsys.com!falis
From: falis@east.alsys.com (Ed Falis)
Subject: Use of generic child formal package
Message-ID: <D4IyJB.5C2@thomsoft.com>
Sender: news@thomsoft.com
Organization: Thomson Software Products, Burlington, MA, USA
Date: Fri, 24 Feb 1995 22:01:58 GMT
Date: 1995-02-24T22:01:58+00:00
List-Id: <comp.lang.ada>

Hopefully, I'm not garbling the lingo too much.

I'd like to provide an instance of a generic child unit as a formal package
actual parameter to another generic.  To wit:

generic
   -- parent's formals
package parent is ... ; end parent;

generic
   -- child's formals
package parent.child is ...; end parent.child;


with parent;
generic
   -- client formals
package client is 

   package parent_instance is new parent(...);

end client;


-- Here's the hitch:
with parent.child;
generic

   -- ??:
   with parent_instance.child is new parent.child (...);
package client.child is ...;


Gnat 2.02 doesn't like the syntax for the formal package parameter: the selected
name notation is rejected. I've tried a few other ways of declaring the formal
package, without success.


So, is it legal, or is it GNAT?

What I'm trying to do is to use multiple child units for distinct generic
implementations of generic component, binding the implementation at the
time of instantiating client.child, which will present an interface to its
own clients.

- Ed


C
So, is it legal, or is it G
C
C
C
So, is it legal?  What I'm trying to do is