> 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.
Cheers,
Simon