Markus Gerwinski wrote:
Frank Heckenbach wrote:
For these purposes, you still could pass a store pointer as a parameter. (Nobody prevents you from defining "Procedure foo ( bar: store )", since you never explicitly write "bar:= baz" or something.)
I don't understand. Passing a value parameter is almost the same as an assignment. I.e., if the procedure disposes of the store pointer parameter, the also store pointer in the caller gets invalid which should not happen.
Where did I say that?
Well, maybe you didn't say that, but I assumed the purpose was to make pointer access safe.
Frank