Profiling Question

[Simon Marlow]

>   In the following profile, should not the sum of %time and 
> %alloc be less
> than or equal to 100. It is not in this case. What do they mean then?

For the %time column, disregard the GC time - the rest add up to 100%.
For the allocations column, it looks like the total allocations has
overflowed the 32-bit counter we use for this, so the percentages are
wrong.  These are on my list of things to fix.

Cheers,
	Simon