Opened 3 years ago

Closed 3 years ago

#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 3 years ago by Joachim Breitner <mail@…>

In ab3f95bdfc5c001c7dd3158c52bad604d28aabf3/ghc:

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

comment:2 Changed 3 years ago by nomeata

Thanks for noticing, fixed and pushed.

comment:3 Changed 3 years ago by nomeata

Resolution: fixed
Status: newclosed
Note: See TracTickets for help on using tickets.