From: Simon Wright <simon@pushface.org>
Subject: Re: On absurdity of collections 7.6.1 (11.1/3)
Date: Wed, 29 Sep 2021 12:05:22 +0100 [thread overview]
Message-ID: <lybl4bbq19.fsf@pushface.org> (raw)
In-Reply-To: sj1ah7$7kr$1@gioia.aioe.org
"Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> writes:
> type Item_Ptr is access all Item;
> function New_Item
> ( Pool : in out Root_Storage_Pool'Class;
> Text : String
> ) return Item_Ptr;
What I don't see is how you can implement this, never mind any other
problems.
13.11(17) says
"If Storage_Pool is not specified for a type defined by an
access_to_object_definition, then the implementation chooses a
standard storage pool for it in an implementation-defined manner."
I see that 3.10(8) says
"Access-to-object types are further subdivided into pool-specific
access types [...] and general access types, whose values can
designate the elements of any storage pool [...]"
which implies that there *is* a mechanism.
next prev parent reply other threads:[~2021-09-29 11:05 UTC|newest]
Thread overview: 15+ messages / expand[flat|nested] mbox.gz Atom feed top
2021-09-29 9:09 On absurdity of collections 7.6.1 (11.1/3) Dmitry A. Kazakov
2021-09-29 11:05 ` Simon Wright [this message]
2021-09-29 11:20 ` Dmitry A. Kazakov
2021-09-29 21:38 ` Simon Wright
2021-09-30 8:07 ` Dmitry A. Kazakov
2021-09-30 8:35 ` Simon Wright
2021-09-30 8:49 ` Dmitry A. Kazakov
2021-10-01 1:37 ` Randy Brukardt
2021-10-01 7:57 ` Dmitry A. Kazakov
2021-09-30 0:23 ` Randy Brukardt
2021-09-30 8:06 ` Dmitry A. Kazakov
2021-09-30 18:23 ` G.B.
2021-09-30 18:52 ` Dmitry A. Kazakov
2021-10-01 1:40 ` Randy Brukardt
2021-10-01 7:57 ` Dmitry A. Kazakov
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox