Yep, I say remove them both.
On Wed, Nov 5, 2014 at 4:57 AM, Simon Peyton Jones
I don't use either, so fine with me!
| -----Original Message----- | From: Jan Stolarek [mailto:jan.stolarek@p.lodz.pl] | Sent: 05 November 2014 10:12 | To: ghc-devs@haskell.org | Cc: Simon Peyton Jones | Subject: Removing -ddump-simpl-phases and -ddump-core-pipeline flags? | | As part of #9358 I'm considering removing these two flags: | | -ddump-simpl-phases: dumps simplifier statistics for phases of the | simplifier but it works only | when used together with -ddump-simpl-stats. User can limit which | statistics are displayed by | passing in either the simplifier phase number (0,1,2), phase name (final, | main, | post-worker-wrapper, Gentle) or both (separated with ":"). So for | example -ddump-simpl-phases=0:main,1 dumps statistics for all pases | labeled as phase 1 and only | those pases of phase 0 that are named "main". Has anyone ever used that | flag? Do we consider it | useful? | | -ddump-core-pipeline: this seems like a partially implemented stub. The | name is very misleading | because it is related to plugins. The only thing that it seems to do at | the moment is that | when -ddump-to-file is set then -ddump-core-pipeline will result in | dumping plugin passes to | file. | | Janek _______________________________________________ ghc-devs mailing list ghc-devs@haskell.org http://www.haskell.org/mailman/listinfo/ghc-devs
-- Regards, Austin Seipp, Haskell Consultant Well-Typed LLP, http://www.well-typed.com/