Beginners profiling question

Simon Marlow
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
> so:
>  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.