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? -kzm -- If I haven't seen further, it is by standing in the footprints of giants