[MLton] Re: [MLton-commit] r4569

Matthew Fluet fluet@cs.cornell.edu
Tue, 23 May 2006 17:02:54 -0400 (EDT)


> Implement the new GC_availRam as simply returning all userspace available memory.
> I couldn't find a better match for this after about 2-3 hours of googling. :-(

Sorry you wasted so much time.  GC_availRam isn't used for anything; I had 
a brief thought that we could use  sysconf(_SC_AVPHYS_PAGES)  as a better 
dynamic estimate of available memory, but it turned out not to be a good 
idea:
   http://mlton.org/pipermail/mlton/2006-February/028462.html

I'll probably remove the function.