[MLton-user] Does GC always trigger MLtonFinalizable?

[Henry Cejtin]

I tend to view things like database connections as similar to file descriptors,
not memory objects, so manual closing isn't a big deal.  It causes them to be
closed more pomptly.