[GHC] #12550: Inconsistent unicode display for kinds

[GHC]

#12550: Inconsistent unicode display for kinds
----------------------------------+--------------------------------------
        Reporter:  johnleo        |                Owner:  johnleo
            Type:  bug            |               Status:  new
        Priority:  normal         |            Milestone:  8.2.1
       Component:  Compiler       |              Version:  8.0.1
      Resolution:                 |             Keywords:
Operating System:  MacOS X        |         Architecture:  x86_64 (amd64)
 Type of failure:  None/Unknown   |            Test Case:
      Blocked By:                 |             Blocking:
 Related Tickets:  #11660 #12030  |  Differential Rev(s):  Phab:D2829
       Wiki Page:                 |
----------------------------------+--------------------------------------

Comment (by goldfire):

 Replying to [comment:9 johnleo]:
 > ... since internally they are all fundamentally the same thing.  However
 this caused a panic in `PrelInfo.knownKeyNamesOkay` since apparently all
 keys have to be unique.  I wonder if that condition could be relaxed.

 An entity in the compiler is identified by its Unique. So if two things
 have the same unique, then it's just one thing. In this case, if we have
 both stars have the same unique, it means, essentially, that GHC will
 arbitrarily pick one to print whenever it is printing, as it can't tell
 the difference.

 On the other hand, it might make more sense to have a special `OccName`
 that prints differently depending on whether unicode syntax is enabled.
 But I'm not sure it's worth the bother.

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