check-ppr: Make --dump the default behavior
authorBen Gamari <ben@smart-cactus.org>
Mon, 26 Dec 2016 15:02:43 +0000 (10:02 -0500)
committerBen Gamari <ben@smart-cactus.org>
Mon, 26 Dec 2016 15:02:43 +0000 (10:02 -0500)
commit9331e338a7a8f78c05ef89684ab1a5bb7c79d37d
treeabdd5e941a64f64f009228ef3edff05b3e12fac7
parent48a5da9ac6abd42e713402bd38612ce6624cac1b
check-ppr: Make --dump the default behavior
utils/check-ppr/Main.hs