> For the profiling -i option, the compiler tells me the value is > microsecond (default 100), while the GHC documentation claims seconds > (default 0.1). >=20 > Apparently, the documentation is correct? Yes, I noticed this one recently, it's been fixed in the tree. Cheers, Simon