comp.lang.ada
 help / color / mirror / Atom feed
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: Sun, 8 Apr 2018 04:15:13 -0700 (PDT)
Date: 2018-04-08T04:15:13-07:00	[thread overview]
Message-ID: <dd9d081d-6b76-454c-aa3e-4276ca112f1e@googlegroups.com> (raw)
In-Reply-To: <115d2e72-2b30-4ec0-b42f-52e9df2905d4@googlegroups.com>

I understand your point, but there are special cases... namely Unchechecked_deallocation, unchecked_conversion. In the example above, I can't be sure the "Free" provided will be an effective deallocation procedure.
Sure, I don't see that many other examples, in fact I see none, but other people COULD have found that useful. Well, that wouldn't have changed the world. I won't argue with that :-P


  parent reply	other threads:[~2018-04-08 11:15 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 [this message]
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
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