Make it easy to use corediff/ghc-dump
A few years ago I wrote the ghc-dump library and plugin to make it easier to inspect and compare large Core programs. Ever since I have been wanting to implement a proper structural diff, since by far the most common task I set out to accomplish when using ghc-dump
.
It turns out that @sgraf812's student, Paul Brinkmeier, has written such a diff algorithm and implementation. Thanks Paul!
In my opinion this increases ghc-dump
's utility significantly, to this point where I (and @sgraf812) would like to use it as the standard approach for dumping core (instead of the usual -dverbose-core2core
output). We should introduce a convenient, well-documented way to build ghc-dump
and corediff
using a Hadrian-built GHC. Extra points are given for allowing ghc-dump
to be used during the build of GHC.