[Haskell-cafe] showing execution steps

Francesco Ariis fa-ml at ariis.it
Sun Oct 4 22:41:56 UTC 2020

Hello Luc,

Il 05 ottobre 2020 alle 00:24 Luc Duponcheel ha scritto:
> Is there a way to let ghci (or executable code generated by ghc)
> show all intermediate rewrite results when an expression
> is evaluated to its final result?

Do you mean the «rewrite rules» [1]? If so, -ddump-rules.

If you instead mean how expressions are evaluated step by :step
and :list can be used inside ghci [2]

Even better in my opinion is the `debug` [3] package which gives you a nice and
interactive HTML page with all the steps.

[1] https://downloads.haskell.org/~ghc/7.0.3/docs/html/users_guide/rewrite-rules.html
[2] https://downloads.haskell.org/~ghc/7.0.3/docs/html/users_guide/ghci-debugger.html
[3] https://github.com/ndmitchell/debug/

More information about the Haskell-Cafe mailing list