From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Subject: Re: Add Deprecated aspect to Ada 2020
Date: Wed, 23 Aug 2017 09:11:47 +0200
Date: 2017-08-23T09:11:47+02:00 [thread overview]
Message-ID: <onj9rj$hp4$1@gioia.aioe.org> (raw)
In-Reply-To: 857906834.525123034.844962.laguest-archeia.com@nntp.aioe.org
On 22/08/2017 21:32, Luke A. Guest wrote:
> It wouldn't be useless. What's useless is keeping old, possibly broken,
> functionality in an api, thus increasing the size of the whole library.
> Which is what you're proposing. That's useless.
I.e. instead of fixing bugs and making functionality straight we better
add new bugs and new broken functionality? Sounds familiar...
Anyway, you could add At_Use, At_Call, At_Access, At_Instantiation instead:
procedure Foo (X : T)
with At_Call => "Hey, only idiots would call this ever!";
Not much fun without static subprograms, though...
--
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de
next prev parent reply other threads:[~2017-08-23 7:11 UTC|newest]
Thread overview: 15+ messages / expand[flat|nested] mbox.gz Atom feed top
2017-08-19 18:52 Add Deprecated aspect to Ada 2020 Lucretia
2017-08-19 18:52 ` Simon Clubley
2017-08-19 18:54 ` Björn Lundin
2017-08-19 20:55 ` Jacob Sparre Andersen
2017-08-19 19:34 ` Dmitry A. Kazakov
2017-08-21 19:09 ` Per Sandberg
2017-08-21 19:34 ` Dmitry A. Kazakov
2017-08-22 5:47 ` J-P. Rosen
2017-08-22 7:38 ` Dmitry A. Kazakov
2017-08-22 19:32 ` Luke A. Guest
2017-08-22 20:04 ` Pascal Obry
2017-08-23 7:11 ` Dmitry A. Kazakov [this message]
2017-08-31 1:05 ` Randy Brukardt
2017-08-31 15:19 ` Lucretia
2017-09-01 0:13 ` Randy Brukardt
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox