RE: getCPUTime: buggy?

2000-11-24 Thread Simon Marlow
Given getrusage(RUSAGE_SELF, t); cpu[0] = t.ru_utime.tv_sec; cpu[1] = 1000 * t.ru_utime.tv_usec; cpu[2] = t.ru_stime.tv_sec; cpu[3] = 1000 * t.ru_stime.tv_usec; in `getCPUTime.c', I don't understand return ((fromIntegral (I# (indexIntArray# frozen#

RE: getCPUTime: buggy?

2000-11-24 Thread Simon Marlow
Given getrusage(RUSAGE_SELF, t); cpu[0] = t.ru_utime.tv_sec; cpu[1] = 1000 * t.ru_utime.tv_usec; cpu[2] = t.ru_stime.tv_sec; cpu[3] = 1000 * t.ru_stime.tv_usec; in `getCPUTime.c', I don't understand return ((fromIntegral (I# (indexIntArray#