#7730: :info and polykinds --------------------------------------------+------------------------------ Reporter: monoidal | Owner: archblob Type: bug | Status: new Priority: normal | Milestone: 7.10.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 goldfire): I don't have a strong opinion here (about the extra tags in `IfaceSyn`). After the type/kind merge, these tags would become visible vs. invisible instead of type vs. kind. The same change is happening in many other places throughout GHC. This actually makes good sense -- in the use case at issue in this ticket, you don't actually care what a thing classifies; you care whether or not it should be printed. Because these two distinctions line up at the moment, it's not worth bothering to separate them. So, by all means go ahead with, e.g., Simon's plan. I'll change it to visible/invisible when I merge. :) And, as for Andrei's offer for help: Thanks. At this point, work is stalled somewhat as I'm racing down the Haskell Symposium deadline (May 12) for two papers I'm working on. But, I'm hoping to have something ready for POPL on July 6 about the type/kind merge. Things are in a bit of a messy state at the moment and it's hard for me to see how to integrate another set of hands, but I'll keep your offer in mind -- I do appreciate it. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/7730#comment:32 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler