[project @ 2000-12-19 14:30:17 by simonmar]

[project @ 2000-12-19 14:30:17 by simonmar]
- implement +RTS -t  (one-line GC stats)

- clean up: use integer variables (counting ticks) rather than doubles
  to store time values, and only call times() once on entry & exit
  from GC instead of twice.  Carry on using times() rather than
  gettimeofday(), since we don't really need the increased accuracy.