comp.lang.ada
 help / color / mirror / Atom feed
From: Vincent Marciante <vincent.marciante@l3harris.com>
Subject: Re: [Ada95] Private non-generic children of generics not allowed
Date: Thu, 29 Apr 2021 12:29:11 -0700 (PDT)	[thread overview]
Message-ID: <c0b85e97-e322-4706-a6ad-c5d5d2e3cc70n@googlegroups.com> (raw)
In-Reply-To: <a1ac3062-0bdb-417a-98e5-8f82c74a5126n@googlegroups.com>

On Thursday, April 29, 2021 at 1:43:52 PM UTC-4, AdaMagica wrote:
> So what you want is an implicit instantiation as outlined below: 
> 
> generic 
> package Gen is 
> end Gen; 
> package body Gen is 
> procedure Proc is separate; 
> end Gen; 
> 
> private package Gen.Priv is -- will be implicitly instantiated 
> end Gen.Priv; 
> 
> with Gen.Priv; 
> separate (Gen) 
> procedure Proc is 
> begin 
> ...Priv.XXX... -- anything from Priv 
> end Proc; 
> 
> This is not very far from the solution given by ehh.

I see that you got what I was describing by what you presented in your 
example (and yes, not very far from that of ehh) but I'm not sure that 
"implicit instantiation" would be the best way to describe it.  I'll think about it.

  reply	other threads:[~2021-04-29 19:29 UTC|newest]

Thread overview: 15+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2021-04-26 15:43 [Ada95] Private non-generic children of generics not allowed Vincent Marciante
2021-04-26 16:41 ` AdaMagica
2021-04-26 16:53   ` Vincent Marciante
2021-04-26 17:16     ` AdaMagica
2021-04-28 12:09       ` Vincent Marciante
2021-04-28 17:57         ` AdaMagica
2021-04-29  8:57 ` AdaMagica
2021-04-29 10:20   ` Vincent Marciante
2021-04-29 11:02     ` Egil H H
2021-04-29 17:17       ` Vincent Marciante
2021-04-29 17:43         ` AdaMagica
2021-04-29 19:29           ` Vincent Marciante [this message]
2021-04-30 12:56             ` AdaMagica
2022-04-28  0:07               ` Thomas
2022-05-19 19:59                 ` Indra Anita
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox