Linux 2.4

[Henry Cejtin]

It  would  be  nice  to make it IntInf.int, since that should be pretty easy.
Mind you, I'm surprised that this is really allowed.  Is it just one  of  the
un-specified parts of the basis library?  I would think that this would cause
all kinds of programs to fail to type check.

As to priority, I know, for instance, that we here and definitely  Rico  will
want  to  be able to deal with files bigger than 2 gig.  This doesn't require
that lseek work on them, but it is weird if it doesn't.  I still have to  see
exactly  how  you  have to interface to it from C.  (If you call lseek in the
glibc that ships with Red Hat 7.0, and the current position is 2^31 or  more,
the  lseek  fails  with  errno set to some appropriate value.)  There is some
other version of lseek that does the right thing.

I would think that once this is understood, it would  only  be  a  couple  of
lines of change to MLton.