ghc-dump icon indicating copy to clipboard operation
ghc-dump copied to clipboard

Published 20 hours ago • verified publisher icon bgamari

Diff utility

Open bgamari opened this issue 7 years ago • 3 comments

It would be great if we could produce a diff of two dumps, dealing with differences in binder naming appropriately.

bgamari avatar Apr 19 '17 16:04 bgamari

#23 explores merging work arising from @pbrinkmeier's thesis into ghc-dump.

bgamari avatar Apr 18 '22 21:04 bgamari

Hi, I recently considered working on corediff again anyways so I'd be happy to help! Do you have anything concrete you could use help with?

pbrinkmeier avatar Apr 20 '22 19:04 pbrinkmeier

Frankly, I think the work is nearly ready to merge and continue iterating in-tree. However, IMHO we should drop the .cbor files in the tree and rather offer a shell script or similar to build the demos.

bgamari avatar Apr 22 '22 00:04 bgamari