Re: Prohibiting dynamic allocation for the given type

["Randy Brukardt" <randy@rrsoftware.com>]

"Eric Hughes" <eric.eh9@gmail.com> wrote in message
news:5cd0d5f9-07b7-46ce-8aca-1d7273f0e164@i12g2000prf.googlegroups.com...
> On Mar 20, 2:26 pm, Simon Wright <simon.j.wri...@mac.com> wrote:
> >   type P is access T;
> >   for P'Storage_Size use 0;
> >                 ----
>
> ARM 13.11/18
> > If Storage_Size is specified for an access type, then the Storage_Size
of this pool is at least that requested [...]
>
> Apparently the value of 0 is a minimum, not a maximum nor an exact
> size.

Zero is sort of special; allocators are illegal in that case, see
4.8(5.3/2). That was added by the Amendment so that Pure packages could have
access types but would be guaranteed not to have any allocators. (But it is
more generally useful than that.)

                  Randy.