From: Roman Leshchinskiy <rl@cse.unsw.edu.au>
Date: Sat, 27 Nov 2010 12:20:22 +0000 (+0000)
Subject: New flag -dddump-rule-rewrites
X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;h=9c84f11b774960077d33d94a23ebc42af79d2ec4;hp=9c84f11b774960077d33d94a23ebc42af79d2ec4;p=ghc-hetmet.git

New flag -dddump-rule-rewrites

Now, -ddump-rule-firings only shows the names of the rules that fired (it would
show "before" and "after" with -dverbose-core2core previously) and
-ddump-rule-rewrites always shows the "before" and "after" bits, even without
-dverbose-core2core.
---