[GHC] #11120: Missing type representations

[GHC]

#11120: Missing type representations
-------------------------------------+-------------------------------------
        Reporter:  goldfire          |                Owner:
            Type:  bug               |               Status:  patch
        Priority:  high              |            Milestone:  8.0.1
       Component:  Compiler          |              Version:  7.11
      Resolution:                    |             Keywords:
Operating System:  Unknown/Multiple  |         Architecture:
                                     |  Unknown/Multiple
 Type of failure:  None/Unknown      |            Test Case:
      Blocked By:                    |             Blocking:
 Related Tickets:                    |  Differential Rev(s):  Phab:D1774
       Wiki Page:                    |
-------------------------------------+-------------------------------------

Comment (by goldfire):

 Fully agreed with all points in comment:19.

 And, in response to comment:21, the !TcValidity check is not new. But, as
 Simon suggests, it may have outlived its usefulness. Does it date back to
 some point in prehistory when the kind system didn't distinguish `*` from
 `#`? It seems like it to me (though I haven't actually looked through the
 history).

 In any case, let's resolve type representations on this ticket by either
 getting representation for `Char#` and the like, or gracefully erroring.
 (I prefer the latter, given the date.)

 Then we can post a new ticket to look into the !TcValidity issue.

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