showing execution steps
Hi, 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? Luc -- __~O -\ <, (*)/ (*) reality goes far beyond imagination
On Mon, 5 Oct 2020, Luc Duponcheel wrote:
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?
I don't know the answer for GHCi - but for an extremely simple subset of Haskell that is non-strict but lacks sharing, you may try our live-sequencer: https://www.youtube.com/watch?v=0EQCgi5qa3E https://hackage.haskell.org/package/live-sequencer https://sim.mathematik.uni-halle.de/henning/flatpak/bundle/live-sequencer-0....
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... [2] https://downloads.haskell.org/~ghc/7.0.3/docs/html/users_guide/ghci-debugger... [3] https://github.com/ndmitchell/debug/
participants (3)
-
Francesco Ariis -
Henning Thielemann -
Luc Duponcheel