Re: heap size exceeded for large matrices

[Robert A Duff <bobduff@shell01.TheWorld.com>]

Simon Wright <simon@pushface.org> writes:

> "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> writes:
>
>> Now if you either declare an access type in a scope or else use an
>> anonymous type then any object allocated by new and assigned to this
>> pointer will be automatically destroyed when the scope is left:
>>
>>    declare
>>       type Pointer is access all Object;
>>       X1 : Pointer := new Object;
>>       X2 : access Object := new Object;
>>    begin
>>       ... -- Using X1 and X2
>>    end; -- Targets of X1 and X2 are finalized and freed here
>
> I'm pretty sure that GNAT does this by using the Reclaim pool mentioned
> above to implement the storage pool.

I don't think so.  I think those objects are finalized,
but never freed.

And I think that's desirable behavior, because things like
"Reclaim pool" have a cost, so should be enabled only upon
explicit request.

- Bob