Restore old output for -ddump-rule-firings #7060
authorPaolo Capriotti <p.capriotti@gmail.com>
Tue, 17 Jul 2012 15:11:02 +0000 (16:11 +0100)
committerPaolo Capriotti <p.capriotti@gmail.com>
Wed, 18 Jul 2012 10:50:03 +0000 (11:50 +0100)
commitf8a00d0e4ac1f94f6ccf3da3ee6c208cdbce8d65
tree3c113eeedc97985a6b299dfd8e1ee0c253e7a243
parent3ae9f0f97583a3084a76cf7e31931bd9ef5f4173
Restore old output for -ddump-rule-firings #7060

Commit 3fcf5bdff7a22e22d7265535369cd8f867141ec1 made the output of
-ddump-rule-firings and -ddump-rule-rewrites excessively verbose.

Fixed by removing the extra blank lines and separator when the header
of dump is empty.
compiler/main/ErrUtils.lhs
compiler/simplCore/Simplify.lhs