From: Thomas <fantome.forums.tDeContes@free.fr.invalid>
Subject: Re: Unchecked_Deallocation with tagged types
Date: Sat, 16 Apr 2022 05:44:51 +0200 [thread overview]
Message-ID: <625a3bb4$0$22256$426a34cc@news.free.fr> (raw)
In-Reply-To: s5h0o5$1piu$1@gioia.aioe.org
In article <s5h0o5$1piu$1@gioia.aioe.org>,
"Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> wrote:
> On 2021-04-18 11:09, Jeffrey R. Carter wrote:
> > On 4/18/21 10:46 AM, Gautier write-only address wrote:
> >> Side note: did anyone already suggest a new keyword: unchecked_free
> >> and a special statement:
> >>
> >> unchecked_free Some_Pointer;
> >
> > For every access variable P, there could exist the attribute procedure
> >
> > P'Free;
>
> I like the idea of attaching it to a variable rather than to type.
why?
if it had to be made, i would say it could not be less than sth like:
T'Unchecked_Free (P)
>
> -------------
> I remember the claim that originally making it a generic procedure with
> an indigestible name was meant as barrier for lazy programmers.
not only that:
i agree J-P. Rosen (he didn't said exactly that),
it's fine to be able to search for the "Unchecked" keyword, to look at
parts of code with some known risk (afaik):
Ada.Unchecked_Deallocation, Ada.Unchecked_Conversion, Unchecked_Access.
> Plus
> some considerations regarding garbage collection lurked in the subconscious.
could you explain, please ? :-)
--
RAPID maintainer
http://savannah.nongnu.org/projects/rapid/
next prev parent reply other threads:[~2022-04-16 3:44 UTC|newest]
Thread overview: 56+ messages / expand[flat|nested] mbox.gz Atom feed top
2021-04-17 21:45 Unchecked_Deallocation with tagged types DrPi
2021-04-17 22:29 ` Rod Kay
2021-04-17 22:36 ` Rod Kay
2021-04-18 9:06 ` DrPi
2021-04-18 9:07 ` Jeffrey R. Carter
2021-04-18 8:21 ` Dmitry A. Kazakov
2021-04-18 8:46 ` Gautier write-only address
2021-04-18 9:09 ` Jeffrey R. Carter
2021-04-18 10:13 ` Dmitry A. Kazakov
2022-04-16 3:44 ` Thomas [this message]
2022-04-16 8:09 ` Dmitry A. Kazakov
2021-04-18 10:20 ` J-P. Rosen
2021-04-18 10:34 ` Dmitry A. Kazakov
2021-04-18 15:14 ` J-P. Rosen
2021-04-18 15:23 ` Gautier write-only address
2021-04-18 15:53 ` J-P. Rosen
2021-04-18 16:08 ` Gautier write-only address
2022-04-16 5:00 ` Thomas
2021-04-20 18:53 ` Randy Brukardt
2021-04-20 19:35 ` Dmitry A. Kazakov
2022-04-18 5:51 ` Thomas
2022-04-18 6:26 ` Niklas Holsti
2021-04-20 20:32 ` Jeffrey R. Carter
2021-04-20 21:10 ` Niklas Holsti
2021-04-21 8:35 ` Jeffrey R. Carter
2021-04-21 10:11 ` Dmitry A. Kazakov
2021-04-24 0:49 ` Randy Brukardt
2022-04-18 1:51 ` Thomas
2021-04-18 16:08 ` Jeffrey R. Carter
2021-04-18 9:13 ` DrPi
2021-04-18 10:01 ` Dmitry A. Kazakov
2021-04-18 10:42 ` DrPi
2021-04-18 16:48 ` Jeffrey R. Carter
2021-04-20 15:57 ` Stephen Leake
2021-04-20 17:24 ` Jeffrey R. Carter
2021-04-20 17:34 ` Vincent Marciante
2021-04-20 20:56 ` Jeffrey R. Carter
2021-04-21 10:21 ` Vincent Marciante
2021-04-21 10:28 ` Vincent Marciante
2021-04-21 12:13 ` Simon Wright
2021-04-21 13:28 ` J-P. Rosen
2021-04-22 10:21 ` Vincent Marciante
2021-04-21 13:42 ` Jeffrey R. Carter
2021-04-24 1:04 ` Randy Brukardt
2022-04-12 23:25 ` use clauses Thomas
2022-04-13 1:05 ` Randy Brukardt
2022-04-14 2:51 ` 25.BX944
2022-04-14 6:49 ` Emmanuel Briot
2022-04-15 5:33 ` Doctor Who
2022-04-19 3:53 ` Thomas
2022-04-19 5:59 ` Randy Brukardt
2021-04-22 8:55 ` Unchecked_Deallocation with tagged types Stephen Leake
2021-04-22 11:16 ` Jeffrey R. Carter
2021-04-22 15:49 ` Vincent Marciante
-- strict thread matches above, loose matches on Subject: below --
1996-11-22 0:00 Paul Burnim
1996-11-23 0:00 ` Simon Wright
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox