#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