#15871: Revamp -fprint-explicit-kinds -------------------------------------+------------------------------------- Reporter: goldfire | Owner: (none) Type: task | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.6.2 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): I vote for (3) in comment:2. I think that's a general improvement over the status quo, regardless of the behavior change proposed in this ticket. Is it ever the case that we print invisible arguments in terms? We should perhaps mirror the treatment in types in terms, as well. But maybe that's better in a separate ticket. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/15871#comment:3 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler