[GHC] #13779: Add more signature suppression control for dumps
#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
#13779: Add more signature suppression control for dumps -------------------------------------+------------------------------------- Reporter: dfeuer | Owner: (none) Type: feature request | Status: new Priority: normal | Milestone: 8.4.1 Component: Compiler | Version: 8.2.1-rc2 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by goldfire): What do you mean by signature here? Can you give an example of what you'd like the flag to do? -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/13779#comment:1 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#13779: Add more signature suppression control for dumps -------------------------------------+------------------------------------- Reporter: dfeuer | Owner: (none) Type: feature request | Status: new Priority: normal | Milestone: 8.4.1 Component: Compiler | Version: 8.2.1-rc2 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by bgamari): I suspect David wants a flag to omit type signatures from let-bindings but retain them for top-levels. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/13779#comment:2 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#13779: Add more signature suppression control for dumps -------------------------------------+------------------------------------- Reporter: dfeuer | Owner: (none) Type: feature request | Status: new Priority: normal | Milestone: 8.4.1 Component: Compiler | Version: 8.2.1-rc2 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by dfeuer): I mostly want to be able to suppress them in function arguments. `\(x :: HUGE TYPE). ...`. Being able to suppress them in `let` bindings separately wouldn't be bad either. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/13779#comment:3 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#13779: Add more signature suppression control for dumps -------------------------------------+------------------------------------- Reporter: dfeuer | Owner: (none) Type: feature request | Status: new Priority: normal | Milestone: 8.4.1 Component: Compiler | Version: 8.2.1-rc2 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by bgamari): For what it's worth, I have a rather under-advertised GHC core-to-core [[http://github.com/bgamari/ghc-dump|plugin]] which dumps Core to a file in machine-readable form for later inspection. There are also tools for, among other things, pretty-printing the files in the human-readable(?) form we all love in addition to a library allowing you to inspect the representation in GHCi. This is nice for a variety of reasons, * You have more control over what bits to show * You can start with a minimal dump of the program and then decide to show more details later without recompiling your program * You can easily search for bindings by name, type, etc. * Other nice reasons that this margin is too small to contain One feature it currently misses that I would love is the ability to diff files up to alpha-equivalence. However, I feel like this advertisement has gone on for too long already. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/13779#comment:4 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#13779: Add more signature suppression control for dumps -------------------------------------+------------------------------------- Reporter: dfeuer | Owner: (none) Type: feature request | Status: new Priority: low | Milestone: 8.4.1 Component: Compiler | Version: 8.2.1-rc2 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Changes (by dfeuer): * priority: normal => low -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/13779#comment:5 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
participants (1)
-
GHC