Re: Flexible Strings (was Equality operator...)

[dewar@merv.cs.nyu.edu (Robert Dewar)]

Bob said

<<Of course, I admit that the C standard is easier to understand on this
particular point, if you're just a programmer trying to write programs,
and not a language lawyer.  The Ada standard goes out of its way to
raise questions of this nature, unfortunately.  Nonetheless, I claim
that the requirements of C and Ada are identical with respect to whether
free/Unch_Dealloc must/should reclaim storage.  They're just written in
a different style.>>

Well you are the author, so if you say the C standard is easier to understand
on this point, I suppose that must have some force. But let me quote again
the words you wrote here in the Ada standard:

17   For a standard storage pool, Free should actually reclaim the storage.

That sure seems like an easy-to-understand unambiguous statement of intent
to me, I don't see it any harder to understand than the referenced statement
from the C standard.