Ppr: Suppress `Typeable` binds by default?
I often pass -dno-typeable-binds
just for the purposes of less noisy Core output. If I'm invested enough to type in that flag, that is.
Perhaps I'm not the only one? Then how about
- We introduce a flag
-dsuppress-typeable-binds
that suppresses typeable bindings in Core output, perhaps simply by testing the type of binding againstGHC.Types.Module
orGHC.Types.TrName
? Can't do much about theAddr#
I suppose. We could also leave a hint behind in the Core output such as "And suppressed Typeable binds" - Activate said flag by default
That would already improve signal to noise ratio IMO.