MLton RAM usage

[Stephen Weeks]

> Well, looking at /proc/meminfo again, I see the following:
> 
>         total:    used:    free:  shared: buffers:  cached:
> Mem:  528846848 201199616 327647232 23728128 137613312 30453760
> Swap:        0        0        0
> MemTotal:    516452 kB
> MemFree:     319968 kB
...
> I would say that looking at MemFree and using, say 95% of that would be
> a good idea.

Unfortunately, that doesn't work.  For example, on my machine, here is
/proc/meminfo.

% cat /proc/meminfo 
        total:    used:    free:  shared: buffers:  cached:
Mem:  525217792 522846208  2371584        0 99725312 276832256
Swap: 271392768 27742208 243650560
MemTotal:       512908 kB
MemFree:          2316 kB
...

So, if mlton did what you suggest, it would never get to run.  I'm not sure what
the right fix is, but I'd like to err in the direction of trying to run and
possibly swapping rather than not even trying to run.