[MLton] Minor evolution request
Tue, 9 Dec 2003 10:06:27 -0600
I understand the idea behind this option, but as you suggested it it isn't
really right. There is no reason to believe that the number of CPUs is
likely to be correlated to the number of processes occupying memory. After
all, often one can have more processes, knowing that only the number of CPU
processes are actually using the CPU at the same time.
How about, instead, an option which simply specifies the number to divide by?
Then a shell script would be enough to provide the action you asked for.