21 Oct
2002
21 Oct
'02
5:41 a.m.
For the profiling -i option, the compiler tells me the value is microsecond (default 100), while the GHC documentation claims seconds (default 0.1).
Apparently, the documentation is correct?
Yes, I noticed this one recently, it's been fixed in the tree. Cheers, Simon