Mutation

BRIAN SPILSBURY zhivago@iglou.com
Wed, 14 May 1997 21:44:40 -0400 (EDT)


HB> 'Freezing' a mutable array is impossible, in general, because the
HB> freezing function doesn't know how many other pointers there are to
HB> this object.  If the array is linear, however, it carries with it a
HB> proof of the nonexistence of other pointers, and it is therefore OK to
HB> freeze the array.

In this case we know that there are no other references to this array
since we have just created it inside our (make-array) and haven't told
anyone about it yet, or do you mean something else?

Brian