• Re: [Ada95] Private non-generic children of generics not allowed

    From Thomas@21:1/5 to AdaMagica on Thu Apr 28 02:07:53 2022
    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

    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

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)