#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