In article <
076b95b5-ff44-4c47-9b0b-50d4546c589bn@googlegroups.com>,
AdaMagica <
christ-usch.grein@t-online.de> wrote:
Vincent Marciante schrieb am Donnerstag, 29. April 2021 um 21:29:12 UTC+2:
but I'm not sure that
"implicit instantiation" would be the best way to describe it. I'll think about it.
It must be. As Gen.Priv, it has direct visibility to its parent Gen, as a private child also in its parent's private part.
When Gen is instantiated, say as Inst, Gen.Priv cannot have visibility into Inst.
isn't it possible to consider that when a child is called from within
the generic parent, it must be called from an instantiation of it,
and then it's not needed to re-do the instantiation within the generic
parent?
it could be a rule that works even when the chils is public, but of
course, the instantiation could be avoided only when it is called from
within the generic parent, not when it is called from outside.
--
RAPID maintainer
http://savannah.nongnu.org/projects/rapid/
--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)