From: "Randy Brukardt" <randy@rrsoftware.com>
Subject: Re: no, it can't be, there's no "with procedure instance_of_generic_procedure is new generic_procedure;" ? Impossible !
Date: Fri, 13 Apr 2018 18:59:22 -0500
Date: 2018-04-13T18:59:22-05:00 [thread overview]
Message-ID: <parg8q$kga$1@franka.jacob-sparre.dk> (raw)
In-Reply-To: b4157ddb-9783-4b64-a165-1f7af26aee9f@googlegroups.com
That was changed in Ada 2005. - Randy
"Mehdi Saada" <00120260a@gmail.com> wrote in message
news:b4157ddb-9783-4b64-a165-1f7af26aee9f@googlegroups.com...
I shall add that removing that rule of "all or none" is necessary ( possible
or not :-) ) because,
considering GP1 which needs GP2:
generic
type T1 is private
with package P2 is new GP2(T1...)
package GP1... end GP1;
some parameters of GP2 use or concern T1 (are logically related to T1), but
some others, might they have defaults or not, might be used for parts of GP2
totally unrelated to T1. This fact is already expressed in contracts (not
sure the term is right, I mean "everything between "generic" and "package
generic_package_name is ..."), so I don't think a priori it would entail
more checks for formal parameters coherence.
Hope I didn't spout rubbishes.
next prev parent reply other threads:[~2018-04-13 23:59 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
2018-04-13 12:34 ` Mehdi Saada
2018-04-13 15:57 ` Mehdi Saada
2018-04-13 23:59 ` Randy Brukardt [this message]
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