From: Shark8 <onewingedshark@gmail.com>
Subject: Re: no, it can't be, there's no "with procedure instance_of_generic_procedure is new generic_procedure;" ? Impossible !
Date: Thu, 12 Apr 2018 17:37:37 -0700 (PDT)
Date: 2018-04-12T17:37:37-07:00 [thread overview]
Message-ID: <e0a89dde-ed5f-4814-b7f9-73ecd0c6d466@googlegroups.com> (raw)
In-Reply-To: <aeb87b8c-a777-4417-ba9a-af9beeda281f@googlegroups.com>
On Thursday, April 12, 2018 at 4:14:47 AM UTC-6, Mehdi Saada wrote:
> > USE PROCEDURE Swap IS NEW Generic_Swap( Parameter_Type => Something );
> Hum, just to be sure, does the above mean "if a swap procedure is not provided, use this one" ?
A little bit more than that; more: "if a swap procedure is not provided, instantiate the generic with the given parameters and use that one".
> Like I asked in a mail, did that proposition happen to be formalized in a AI ?
I replied to that message, with what became the AI.
next prev parent reply other threads:[~2018-04-13 0:37 UTC|newest]
Thread overview: 14+ messages / expand[flat|nested] mbox.gz Atom feed top
2018-04-08 0:32 no, it can't be, there's no "with procedure instance_of_generic_procedure is new generic_procedure;" ? Impossible ! Mehdi Saada
2018-04-08 6:50 ` J-P. Rosen
2018-04-09 23:43 ` Shark8
2018-04-08 11:15 ` Mehdi Saada
2018-04-08 11:46 ` Jere
2018-04-08 13:47 ` Mehdi Saada
2018-04-12 8:56 ` Marius Amado-Alves
2018-04-12 10:14 ` Mehdi Saada
2018-04-13 0:37 ` Shark8 [this message]
2018-04-13 12:34 ` Mehdi Saada
2018-04-13 15:57 ` Mehdi Saada
2018-04-13 23:59 ` Randy Brukardt
2018-04-14 0:00 ` Randy Brukardt
2018-04-14 6:00 ` Mehdi Saada
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox