[GHC] #7730: :info and polykinds

[GHC]

#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):

 We could solve (2) by just adding another field to {{{IfaceConDecl}}} in
 order to also keep the original bang info and not just the representation
 one.

 I'm still investigating (1) and trying to find the corect way to
 distinguish kinds from types using the information we have available.

--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7730#comment:27>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler