Google

NAME="GENERATOR" CONTENT="Modular DocBook HTML Stylesheet Version 1.64 ">

5.3. Time and allocation profiling

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 as usual):

-p or -P:

The -p option produces a standard time profile report. It is written into the file program.prof.

The -P option produces a more detailed report containing the actual time and allocation data as well. (Not used much.)

-px:

The -px option generates profiling information in the XML format understood by our new profiling tool, see Section 5.5.

-xc

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.