#7730: :info and polykinds --------------------------------------------+------------------------------ Reporter: monoidal | Owner: archblob Type: bug | Status: new Priority: normal | Milestone: 7.8.1 Component: Compiler (Type checker) | Version: 7.6.2 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: None/Unknown | Unknown/Multiple Test Case: | Difficulty: Unknown Blocking: | Blocked By: | Related Tickets: #8776 --------------------------------------------+------------------------------ Comment (by archblob): I do think you know what's best and I will look into exactly how much information needs to be added and write a patch. The reason I considered the other aproach was because I didn't really think modifying the iface implementation would be something you were willing to do just because of pretty printing purposes. Also there will not really be that much code duplication when doing separate tidying so I will try and have a patch with both aproaches next week and I'll also try to understand exactly how the iface interface should be extended and maybe start a discussion about that as I make progress. Andrei -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/7730#comment:12 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler