From: AdaMagica <christ-usch.grein@t-online.de>
Subject: Re: Unchecked_Deallocation with tagged class type.
Date: Fri, 17 Nov 2023 05:12:22 -0800 (PST) [thread overview]
Message-ID: <1286cc2e-2fc8-4de4-9598-a6a53e21ce6bn@googlegroups.com> (raw)
In-Reply-To: <uj5u2s$2dq6m$1@dont-email.me>
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;
limited is "assume the worst" => i.e. any type may be used as actual type for this formal type.
next prev parent reply other threads:[~2023-11-17 13:12 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 [this message]
2023-11-17 13:13 ` AdaMagica
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox