#9179 closed bug (fixed)

Documentation suggests to use '-hi-diffs' but it should be '-ddump-hi-diffs'

Reported by: shalehperry Owned by:
Priority: normal Milestone:
Component: Documentation Version: 7.8.2
Keywords: Cc:
Operating System: Unknown/Multiple Architecture: Unknown/Multiple
Type of failure: Documentation bug Test Case:
Blocked By: Blocking:
Related Tickets: Differential Rev(s):
Wiki Page:



The option '-hi-diffs' does not exist but '-ddump-hi-diffs' does. Please update the docs.


Change History (3)

comment:1 Changed 18 months ago by Joachim Breitner <mail@…>

In ab3f95bdfc5c001c7dd3158c52bad604d28aabf3/ghc:

s/-hi-diffs/-ddump-hi-diffs/ in docs (#9179)

comment:2 Changed 18 months ago by nomeata

Thanks for noticing, fixed and pushed.

comment:3 Changed 18 months ago by nomeata

  • Resolution set to fixed
  • Status changed from new to closed
Note: See TracTickets for help on using tickets.