From efce943ca20b55b18f948681e6b44fd892dbddd2 Mon Sep 17 00:00:00 2001 From: Simon Peyton Jones Date: Thu, 1 Feb 2018 09:19:30 +0000 Subject: 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! --- docs/users_guide/debugging.rst | 11 ++++++++--- 1 file changed, 8 insertions(+), 3 deletions(-) (limited to 'docs') 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 -- cgit v1.2.1