From: Mehdi Saada <00120260a@gmail.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 08:57:45 -0700 (PDT)
Date: 2018-04-13T08:57:45-07:00 [thread overview]
Message-ID: <b4157ddb-9783-4b64-a165-1f7af26aee9f@googlegroups.com> (raw)
In-Reply-To: <c5ca4f5c-65db-4e6c-bfc1-15dc903a380b@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 15:57 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 [this message]
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