search

ekmett / ersatz

A monad for interfacing with external SAT solvers
Other
63 stars 15 forks source link

view the actual heap structure with ghc-debug #55

Open jwaldmann opened 3 years ago

jwaldmann commented 3 years ago

ersatz realizes observable sharing. Sometimes I find it hard to imagine the actual DAG that this creates. And even harder if some rewriting is applied. In such cases it'd be good to look that the actual contents of the heap.

This seems the tool for doing so http://ghc.gitlab.haskell.org/ghc-debug/docs.html , also http://hackage.haskell.org/package/vacuum

jwaldmann commented 3 years ago

vacuum looks dead, I think we want https://github.com/def-/ghc-vis