Re: Use of generic child formal package

[beidler@guinness.cs.uofs.edu (Jack Beidler)]

In article <D4IyJB.5C2@thomsoft.com>, falis@east.alsys.com (Ed Falis) writes:
|> 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 ...;
|> 
Try the following:

   with parent.child;
   package client is ...

     package My_Parent is new parent (...);
     package My_Child is new parent.child;
                               -- generics parms for child instantiation
                               -- only if the child had extra generic parms

      ...
   end client;

-- 
+----------------------------------------+------------------------+
|John (Jack) Beidler                    ++   beidler@cs.uofs.edu  |
|  Professor, Computing Sciences Dept. ++                         |
|  University of Scranton             ++  (717) 941-7446 (voice)  |
| Scranton, PA 18510                 ++     (717) 941-4250 (FAX)  |
|      WWW site:  http://gopher.cs.uofs.edu/CS/cs.home.html       |
+------------------------------------+----------------------------+