Re: Prohibiting dynamic allocation for the given type

"Eric Hughes" <eric.eh9@[EMAIL PROTECTED]
> wrote in message
news:5cd0d5f9-07b7-46ce-8aca-1d7273f0e164@[EMAIL PROTECTED]
> On Mar 20, 2:26 pm, Simon Wright <simon.j.wri...@[EMAIL PROTECTED]
> 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.