Removing -ddump-simpl-phases and -ddump-core-pipeline flags?

Austin Seipp austin at well-typed.com
Wed Nov 5 18:10:23 UTC 2014


Yep, I say remove them both.

On Wed, Nov 5, 2014 at 4:57 AM, Simon Peyton Jones
<simonpj at microsoft.com> wrote:
> I don't use either, so fine with me!
>
> | -----Original Message-----
> | From: Jan Stolarek [mailto:jan.stolarek at p.lodz.pl]
> | Sent: 05 November 2014 10:12
> | To: ghc-devs at 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 at haskell.org
> http://www.haskell.org/mailman/listinfo/ghc-devs
>



-- 
Regards,

Austin Seipp, Haskell Consultant
Well-Typed LLP, http://www.well-typed.com/


More information about the ghc-devs mailing list