Ben Gamari

Diff utility

3

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

This merges @pbrinkmeier's `corediff` library and utility into the `ghc-dump` tree, as discussed in https://github.com/pbrinkmeier/corediff/issues/2. Additionally, we pull in a few of the changes from @pbrinkmeier's `ghc-dump` fork.

STG tends to be even harder to read than Core in my experience. Being able to dump STG as well would be quite handy.

This will require cooperation with GHC, but it would be quite handy as this is what `dverbose-core2core` does.

We currently run a `z3` session even when there are no wanteds to be solved. I may be mistaken but I don't think this could ever do productive work.

Things like syntax errors really should be treated as panics to ensure that the user isn't baffled by constraints that she believes the solver should be able to handle.

I have observed a case (not yet reduced) where a variable (`aM2x` below) is defined twice, once of sort `Nat` and again as sort `Type`. It looks like what is...

Add support for Data.Type.Bool.If

2

This is built #5 and #6; only the last commit in the stack adds `If` support.