[GHC] #13779: Add more signature suppression control for dumps
GHC
ghc-devs at haskell.org
Fri Jun 2 16:37:25 UTC 2017
#13779: Add more signature suppression control for dumps
-------------------------------------+-------------------------------------
Reporter: dfeuer | Owner: (none)
Type: feature | Status: new
request |
Priority: normal | Milestone: 8.4.1
Component: Compiler | Version: 8.2.1-rc2
Keywords: | Operating System: Unknown/Multiple
Architecture: | Type of failure: None/Unknown
Unknown/Multiple |
Test Case: | Blocked By:
Blocking: | Related Tickets:
Differential Rev(s): | Wiki Page:
-------------------------------------+-------------------------------------
I tend to find some type signatures essential when reading Core. However,
`Generic`-heavy code can produce extremely large signatures. I suspect one
or both of the following additional options could help:
1. An option to suppress non-top-level signatures, leaving top-level ones
alone.
2. An option to suppress phantom type arguments in signatures.
--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/13779>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
More information about the ghc-tickets
mailing list