[GHC] #3480: Add Show and Binary instances for TypeRep

[GHC]

#3480: Add Show and Binary instances for TypeRep
-----------------------------+----------------------------------------------
  Reporter:  guest           |          Owner:                      
      Type:  task            |         Status:  new                 
  Priority:  normal          |      Milestone:  7.2.1               
 Component:  libraries/base  |        Version:                      
Resolution:                  |       Keywords:  Typeable, efficiency
  Testcase:                  |      Blockedby:                      
Difficulty:  Unknown         |             Os:  Unknown/Multiple    
  Blocking:                  |   Architecture:  Unknown/Multiple    
   Failure:  None/Unknown    |  
-----------------------------+----------------------------------------------
Changes (by simonmar):

 * cc: Lennart, NeilMitchell (added)


Comment:

 A new ticket would have been *much* better...

 I've exposed the representation via the `Data.Typeable.Internal` module.
 Of course that's not guaranteed to be a stable API, but I'm happy to add a
 stable API if we can agree on what it should be.  Lennart Augustsson and
 Neil Mitchell are doing exactly this (serialising `TypeRep`) - I think
 they're using the `Data.Typeable.Internal` API right now.

 So what shall we do?

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