[MLton] MLton rules! (was: filedes = int)

[Henry Cejtin]

I think that it all depends on other forces.  As an example: you mmap in a
huge file with structure in it.  You don't know how big it is going to become,
so if moving it to a different part of the address space is painful to the
program, you have to pick the a hole big enough to contain its maximal size.
Opening a few thousand of files with each being a terabyte starts to shoot many
holes in the address space.

Any way, I think we will just have to see.