Use a more compact +RTS -s output for Tasks
authorSimon Marlow <marlowsd@gmail.com>
Fri, 8 May 2009 08:37:38 +0000 (08:37 +0000)
committerSimon Marlow <marlowsd@gmail.com>
Fri, 8 May 2009 08:37:38 +0000 (08:37 +0000)
commit68389bffd24ca79e8b029010f894328a8fa76cd6
treec0e4d6aa588805a2704f26efba23872002ed5e75
parent59df5fd1bb61bb04653f55b027fd2d4606f305ac
Use a more compact +RTS -s output for Tasks

                        MUT time (elapsed)       GC time  (elapsed)
  Task  0 (worker) :    0.00s    (  0.00s)       0.00s    (  0.00s)
  Task  1 (worker) :    0.00s    (  0.01s)       0.00s    (  0.00s)
  Task  2 (worker) :    0.00s    (  0.03s)       0.00s    (  0.00s)
  Task  3 (bound)  :    0.00s    (  0.00s)       0.02s    (  0.04s)
rts/Stats.c