[Seed7-users] freeing of dynamically allocated memory in seed7

[<joh...@so...>]

hi,

i was looking at the seed7 language and am quite impressed with quite a few things.

however, there is something bothers me, because i found no answer or hint anywhere. how do you free dynamically allocated memory? arrays and structures defined inside a function are usually released when that function exits, i found out this much.

but what if you have a ptr to something, or use the xalloc() function, or store multiple references to an object? do you use something like reference counting or is the allocated memory just never freed?

thanks in advance for the answer
johnny