[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 bgamari):

 > Like Richard I'm getting lost. That Phab seems to be spiraling out of
 control. Let's take one thing at at time.

 Indeed, that is my fault for conflating several concerns. The situation
 isn't as complex as it appears. To recap,

  * Phab:D1774 is primarily a refactoring of how we produce representations
 for types that were previously handled explicitly in
 `Data.Typeable.Internal`. In particular, instead of writing them by hand
 we now lead their production to the compiler. This is a significant
 simplification from the previous scheme as its almost entirely consistent
 with the codepath used for user-defined types.

  * This new approach also allows us to trivially produce representations
 for the primitive types in `GHC.Prim` without the boiler-plate required
 previously.

  * All of the above currently works.

  * The kind representation work is quite unrelated to the Phab:D1774
 (although perhaps made easier by it)

  * I have also not touched the `TcValidity` check although was asking
 about it on the Diff, which caused a bit of confusion.

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