Linux 2.4
Henry Cejtin
henry@sourcelight.com
Wed, 24 Jan 2001 18:20:22 -0600
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.