Generic Parent Specification

Generic Parent Specification

[sbelmont700]

Is there any incantation for generics that allows you to specify that one actual generic package must be a child of another?  Suppose a generic package along with a child, and then a third generic that withs in them both, e.g:

generic
package X is
  type T1 is new Integer;
end X;

generic
package X.Y is
  subtype T2 is T1;
end X.Y;

generic
  with package K1 is new X (<>);
  with package K2 is new X.Y (<>);
package P is
  o1 : K2.T2 := 0;
  o2 : K1.T1 := o1; -- error!
end P;


The error seems sensible enough, since the actual for K1 might not actually be a "real" parent of the actual for K2, and the types might indeed be incompatible.  But in cases where K2 is a legit child of K1, the conversion ought to be fine.  Conceptually I want something like this:

generic
  with package K1 is new X (<>);
  with package K2 is new K1.Y (<>);  -- K2 must be a instantiation of X.Y from K1

but either I can't find the right spell to do this, or it's not possible.  Any ideas?

-sb

Re: Generic Parent Specification

[Egil H H]

On Tuesday, February 11, 2020 at 12:15:08 PM UTC+1, sbelm...@gmail.com wrote:
> 
> generic
>   with package K1 is new X (<>);
>   with package K2 is new K1.Y (<>);  -- K2 must be a instantiation of X.Y from K1
> 
> but either I can't find the right spell to do this, or it's not possible.  Any ideas?
> 
> -sb

Works for me... 
Which compiler/version are you using? What is the exact error message?

-- 
~egilhh

Re: Generic Parent Specification

[sbelmont700]

On Tuesday, February 11, 2020 at 7:33:15 AM UTC-5, Egil H H wrote:
> On Tuesday, February 11, 2020 at 12:15:08 PM UTC+1, sbelm...@gmail.com wrote:
> > 
> > generic
> >   with package K1 is new X (<>);
> >   with package K2 is new K1.Y (<>);  -- K2 must be a instantiation of X.Y from K1
> > 
> > but either I can't find the right spell to do this, or it's not possible.  Any ideas?
> > 
> > -sb
> 
> Works for me... 
> Which compiler/version are you using? What is the exact error message?
> 
> -- 
> ~egilhh

It does appear to be a compiler bug; this syntax works in other versions.  Thank you very much for your response.

-sb

Re: Generic Parent Specification

[AdaMagica]

You missed the with clause:

with X.Y;
generic
  with package K1 is new X    (<>);
  with package K2 is new K1.Y (<>);
package P is
  o1 : K2.T2 := 0;
  o2 : K1.T1 := o1;
end P;

Note the name X.Y in the with clause and K1.Y in the instantiation.