Beginners profiling question
Mon, 11 Dec 2000 03:46:05 -0800
> Your picture shows that sat uses 12% of the time, and main
> uses 99% which is
> fine because it inherites all time usage. But main really
> only calls sat, like
> main = do
> ~[rnastr] <- getArgs
> print (sat (str2inp rnastr (0::Int)))
> str2inp is just a small data conversion routines for sat. So where
> does all the time go?
Probably in "print". Yes, the Prelude isn't compiled with -auto-all (or
even -auto) by default. We'll probably start doing this when the better
profile viewers come on-line.