Opened 10 years ago

Closed 8 years ago

#4094 closed bug (fixed)

"+RTS -px" is undocumented and doesn't produce XML

Reported by: igloo Owned by: simonmar
Priority: normal Milestone: 7.4.1
Component: Profiling Version: 6.12.2
Keywords: Cc:
Operating System: Unknown/Multiple Architecture: Unknown/Multiple
Type of failure: None/Unknown Test Case:
Blocked By: Blocking:
Related Tickets: Differential Rev(s):
Wiki Page:


The "+RTS -px" is undocumented (except for appearing in the "+RTS -?" output, and it doesn't produce XML. Also, the allocations are printed in words rather than bytes, which I assume was unintentional.

The flag is prof2dot.

We should either remove or document the flag. Perhaps also rename it if it's not going to produce XML output (perhaps "+RTS -p --machine-readable"?).

Change History (2)

comment:1 Changed 8 years ago by simonmar

Owner: set to simonmar

comment:2 Changed 8 years ago by igloo

Resolution: fixed
Status: newclosed

Simon's removed -px now.

Note: See TracTickets for help on using tickets.