[project @ 2005-04-06 15:27:06 by simonmar]
Revamp the Task API: now we use the same implementation for threaded and SMP. We also keep per-task timing stats in the threaded RTS now, which makes the output of +RTS -sstderr more useful.
Revamp the Task API: now we use the same implementation for threaded and SMP. We also keep per-task timing stats in the threaded RTS now, which makes the output of +RTS -sstderr more useful.