Ticket #7060 (closed bug: fixed)
Option -ddump-rule-rewrites doesn't dump to a file
| Reported by: | erikd | Owned by: | pcapriotti |
|---|---|---|---|
| Priority: | high | Milestone: | 7.6.1 |
| Component: | Compiler | Version: | 7.5 |
| Keywords: | Cc: | ||
| Operating System: | Unknown/Multiple | Architecture: | Unknown/Multiple |
| Type of failure: | Other | Difficulty: | Unknown |
| Test Case: | Blocked By: | ||
| Blocking: | Related Tickets: |
Description
Running the command (using my GHC git HEAD compiler):
~/GHC/bin/ghc -v --make -dumpdir dumpopt/ -ddump-to-file -ddump-rule-rewrites -O1 --make mask-test.hs -o mask-test-opt
and the -ddump-rule-rewrites output still ends up on the console instead of the specified dumpdir.
Change History
Note: See
TracTickets for help on using
tickets.
