[GHC] #7730: :info and polykinds

[GHC]

#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