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» ? If so, -ddump-rules.
If you instead mean how expressions are evaluated step by :step
and :list can be used inside ghci 
Even better in my opinion is the `debug`  package which gives you a nice and
interactive HTML page with all the steps.