#7730: :info and polykinds --------------------------------------------+------------------------------ Reporter: monoidal | Owner: archblob Type: bug | Status: new Priority: normal | Milestone: 7.8.3 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 have attached a working patch so we can discuss it. This solves the problem reported in the ticket but adds a couple of new ones that I'll hopefully solve as I get a better understanding of the codebase: 1. Bangs are not printed properly, specifically {-# UNPACK #-} pragmas 2. I don't really know how to get the family name for associated data families, right now instances are printed with the OccName as R:FamilyName Type Also, what should we do about RecursiveFlags, Promotable and Associated CTypes info ? right now these are not printed in order to conform to the current :info format. I have not added test cases or modified the old ones to conform to the new ppr format yer, I will add them when the ticket reaches the final form. Andrei -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/7730#comment:19 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler