
11 Dec
2000
11 Dec
'00
11:46 a.m.
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
8978
Age (days ago)
8978
Last active (days ago)
0 comments
1 participants
participants (1)
-
Simon Marlow