* but somewhat [different Ada95] _Private_ non-generic children of genevariant allowed.
@ 2021-04-26 15:22 Vincent Marciante
2021-04-26 15:35 ` [Ada95] _Private_ non-generic children of generics not allowed Vincent Marciante
0 siblings, 1 reply; 3+ messages in thread
From: Vincent Marciante @ 2021-04-26 15:22 UTC (permalink / raw)
I pretty much follow the rational requiring children of generics that are
meant to be used by users of a generic also be generic. But what about
the case that the child is only introduced for "separation of concerns" and "information hiding" in the body of a generic package: Why can't _private_ children of a generic _always_ for use only in the implementation of the parent unit be allowed? That seems to me to be only a little more flexible
version of the allowed arrangement where the desired functionality is expressed in a body-local package that has _its_ implementation as separate stub.
So, I mean I have a situation where I like to be able to do the following but can't.
generic
...
package Generic_Package is
procedure Parent_Procedure;
...
end;
private
package Generi
_Package.Child is
procedure GPC_Procedure;
...
end;
package body Generic_Package is
...
procedure Parent_Procedure is separate;
...
end;
with Generic_Package.C
hild;
separate (Generic_Package)
procedure Parent_Procedure is
begin
...
Generic_Package.Child.GPC_Procedure;
...
end;
^ permalink raw reply [flat|nested] 3+ messages in thread
end of thread, other threads:[~2021-04-26 15:37 UTC | newest]
Thread overview: 3+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2021-04-26 15:22 but somewhat [different Ada95] _Private_ non-generic children of genevariant allowed Vincent Marciante
2021-04-26 15:35 ` [Ada95] _Private_ non-generic children of generics not allowed Vincent Marciante
2021-04-26 15:37 ` Vincent Marciante
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox