To generate a time and allocation profile, give one of the
following RTS options to the compiled program when you run it (RTS
options should be enclosed between +RTS...-RTS
- -p or -P:
The -p option produces a standard
time profile report. It is written
into the file
The -P option produces a more
detailed report containing the actual time and allocation
data as well. (Not used much.)
The -px option generates profiling
information in the XML format understood by our new
profiling tool, see Section 5.5.
This option makes use of the extra information
maintained by the cost-centre-stack profiler to provide
useful information about the location of runtime errors.
See Section 4.16.3.