Re: Using local storage pools...

[Simon Wright <simon@pushface.org>]

Brian Drummond <brian_drummond@btconnect.com> writes:

> The question(or four) for now is ... should the following really raise
> Storage_Error, i.e. am I doing something silly, and if so, what?  Or
> is this a bug in Gnat?

Looks to me like a bug in GNAT. I expect it's not been found before
because the point of this pool type is that you *don't* deallocate, but
leave it up to finalization!

I'm not quite clear how we can use this pool in the binary-trees
benchmark, since the rules say you create a class to represent the tree,
which must include the access types, and the storage pool needs to exist
before the access types are used. Perhaps a generic?

Even then, why not just declare an access type in the appropriate scope
and let the compiler figure out how to deallocate storage on scope exit?
(in other words, I don't see why GNAT includes System.Pool_Local in the
first place).

Oh, perhaps it's so that you can actually create such a generic?