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

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

Matthew asks

<<>a) completely forbid deallocatoin
>b) ignore deallocation
>c) implement an alloc/free that had bounded time behavior

a) By forbid do you mean detect (and therefore prevent) deallocation at
compile time?

Can you explain these with examples?>>


a) body = "raise Program_Error"
b) body = "null"
c) body = "complicated allocatoin algorithm left as reader excercise :-)

By forbid I mean raise Program_Error, if you want to prevent dealloation
at compile time, you use pragma Restrictions (it's all in the RM!)