[MLton-user] Does GC always trigger MLtonFinalizable?

[Henry Cejtin]

When you (Matthew) said that `all the globals must be live', you didn't really
mean that I am sure.  I.e., just because I declare a top-level variable to
hold some big object doesn't keep it live after the last reference to it.
I.e., in the program

	val x = big-object
	...some code using x...
	last reference to x, x never closed over
	...some long running code...

x would NOT be kept alive in the last `some long running code'.