17 Nov
2005
17 Nov
'05
5:13 a.m.
On 17 November 2005 00:17, Joel Reymont wrote:
The latest GHC docs mention that the -C option takes a seconds value whereas prior docs mention microseconds. Which is it?
Also, do I pass +RTS -Cxxx or is it just -C?
It is in seconds, eg. +RTS -C0.5 for switches every half a second. I've just fixed and cleaned up the docs a bit. Cheers, Simon