diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2018-02-01 09:19:30 +0000 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2018-02-01 12:19:52 +0000 |
| commit | efce943ca20b55b18f948681e6b44fd892dbddd2 (patch) | |
| tree | 5d06b346b23ff054ee4970528d2a45f2aedf1688 /docs/users_guide/debugging.rst | |
| parent | db5a4b83b14bf4f1adb417b7664347fdaf637fd6 (diff) | |
| download | haskell-efce943ca20b55b18f948681e6b44fd892dbddd2.tar.gz | |
Add -ddump-ds-preopt
This allows you to see the output immediately after desugaring
but before any optimisation.
I've wanted this for some time, but I was triggered into action
by Trac #13032 comment:9.
Interestingly, the change means that with -dcore-lint we will
now Lint the output before the very simple optimiser;
and this showed up Trac #14749. But that's not the fault
of -ddump-ds-preopt!
Diffstat (limited to 'docs/users_guide/debugging.rst')
| -rw-r--r-- | docs/users_guide/debugging.rst | 11 |
1 files changed, 8 insertions, 3 deletions
diff --git a/docs/users_guide/debugging.rst b/docs/users_guide/debugging.rst index 399791925c..48222ae467 100644 --- a/docs/users_guide/debugging.rst +++ b/docs/users_guide/debugging.rst @@ -212,11 +212,16 @@ subexpression elimination pass. Print a one-line summary of the size of the Core program at the end of the optimisation pipeline. -.. ghc-flag:: -ddump-ds - :shortdesc: Dump desugarer output +.. ghc-flag:: -ddump-ds -ddump-ds-preopt + :shortdesc: Dump desugarer output. :type: dynamic - Dump desugarer output + Dump desugarer output. `-ddump-ds` dumps the output after the very simple + optimiser has run (which discards a lot of clutter and + hence is a sensible default. `-ddump-ds-preopt` shows + the output after desugaring but before the very simple + optimiser. + .. ghc-flag:: -ddump-simpl-iterations :shortdesc: Dump output from each simplifier iteration |