Ticket #4094 (closed bug: fixed)

Opened 3 years ago

Last modified 19 months ago

"+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 Difficulty:
Test Case: Blocked By:
Blocking: Related Tickets:

Description

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

Changed 22 months ago by simonmar

  • owner set to simonmar

Changed 19 months ago by igloo

  • status changed from new to closed
  • resolution set to fixed

Simon's removed -px now.

Note: See TracTickets for help on using tickets.