... since internally they are all fundamentally the same thing. However
#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]: 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