search

alt-romes / hegg

Fast equality saturation in Haskell
https://hackage.haskell.org/package/hegg
BSD 3-Clause "New" or "Revised" License
75 stars 8 forks source link

Draft: Add Equality.Saturation.Debug module for tracing eqsat #18

Open alt-romes opened 1 year ago

alt-romes commented 1 year ago

Closes #15

Adds variants of equality saturation with trace (outputs to stderr).

I think we can add more traces for debugging, and I'm still wondering whether this duplication of code is any good -- and what would be a better way to have these alternatives (perhaps CPP?)

alt-romes commented 1 year ago

An idea I'm entertaining is adding the trace to the implementation of the scheduler. It would be much more precise.