[mercury-users] garbage collection and stores

[Michael Day]

Hi,

If you put something in a store, can it be garbage collected when the
mutvars that refer to it have all been collected, or must the store be
free also? (ie. does the store have an internal reference to the object 
that would stop it going out of scope when the mutvars disappear).

This is probably a redundant question, as io__state can be a store, and
io__state is generally just optimised away... so a mutvar is just a
garbage collected pointer?

Looking forward to all kinds of C style programming in Mercury :)

Michael

--------------------------------------------------------------------------
mercury-users mailing list
post:  mercury-users at cs.mu.oz.au
administrative address: owner-mercury-users at cs.mu.oz.au
unsubscribe: Address: mercury-users-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-users-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------