getrlimit, setrlimit

Matthew Fluet mfluet@intertrust.com
Mon, 9 Jul 2001 11:53:49 -0700 (PDT)


>       type rlimit = int

I trace rlim_t back to an unsigned long (or an unsigned quad long, if
__USE_FILE_OFFSET64 is defined), so maybe Word32.word is a better choice.

Also, you might include
        val infinity : rlimit
and
        val infinity = _prim "RLIM_INFINITY";