From: AdaMagica <christ-usch.grein@t-online.de>
Subject: Re: Unchecked_Deallocation with tagged class type.
Date: Fri, 17 Nov 2023 05:13:41 -0800 (PST) [thread overview]
Message-ID: <cd769c06-962c-40a8-9cf3-e4fadcfddf33n@googlegroups.com> (raw)
In-Reply-To: <1286cc2e-2fc8-4de4-9598-a6a53e21ce6bn@googlegroups.com>
AdaMagica schrieb am Freitag, 17. November 2023 um 14:12:25 UTC+1:
> Blady schrieb am Donnerstag, 16. November 2023 um 21:29:20 UTC+1:
> > Thanks, yes, the instanciation of Unchecked_Deallocation seemed to
> > indicate that but I was not able to confirm it from the Ada RM.
> > A mention in Ada RM 13.11.2 Unchecked Storage Deallocation of that
> > particular possibility would be valuable.
> type Object(<>) is limited private;
>
> The box here denotes unknown discriminants, i.e. indefinite types - these include task types;
nonsense - I mean class types
> limited is "assume the worst" => i.e. any type may be used as actual type for this formal type.
prev parent reply other threads:[~2023-11-17 13:13 UTC|newest]
Thread overview: 7+ messages / expand[flat|nested] mbox.gz Atom feed top
2023-11-14 21:11 Unchecked_Deallocation with tagged class type Blady
2023-11-14 22:42 ` Dmitry A. Kazakov
2023-11-15 20:26 ` Blady
2023-11-15 21:17 ` Dmitry A. Kazakov
2023-11-16 20:29 ` Blady
2023-11-17 13:12 ` AdaMagica
2023-11-17 13:13 ` AdaMagica [this message]
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox