Re: Pitfall: freeing access discriminants

[Simon Wright <simon@pushface.org>]

tmoran@acm.org writes:

> I seems to me that you needn't worry that
> > Because of storage pools for Integer_Ptr may be different
> > from storage pool used by "new".
> because you get a standard storage pool unless you specify otherwise, so
> > type T(D: access Integer)
> >   type Integer_Ptr is access all Integer;
> should both refer to the same storage pool.

I don't see how you can be sure that D.all is allocated from the same
pool as 'access all Integer'? (a bit odd anyway, if you say 'access
*all* ' you imply that blind deallocation is iffy).