
16 Jun
2003
16 Jun
'03
8:42 a.m.
Something that I would find useful for profiling would be an RTS flag that made the program run several times. That way I can get more accurate numbers in the profiling report.
At the moment I usually rename main to main', and set up a main that runs main' 100 times.
You can write your own main() (in C) which does this fairly easily. See the User's Guide for details on using your own main(). You could even put your special main() into a package, so you could write ghc -package multi-run ... Cheers, Simon