[GHC] #7897: MakeTypeRep fingerprints be proper, robust fingerprints

[GHC]

#7897: MakeTypeRep fingerprints be proper, robust fingerprints
-------------------------------------+-------------------------------------
        Reporter:  simonpj           |                Owner:  (none)
            Type:  bug               |               Status:  new
        Priority:  normal            |            Milestone:  ⊥
       Component:  Compiler          |              Version:  7.6.3
      Resolution:                    |             Keywords:
Operating System:  Unknown/Multiple  |         Architecture:
                                     |  Unknown/Multiple
 Type of failure:  None/Unknown      |            Test Case:
      Blocked By:                    |             Blocking:
 Related Tickets:                    |  Differential Rev(s):
       Wiki Page:                    |
-------------------------------------+-------------------------------------

Comment (by bgamari):

 We don't currently offer a way to view the runtime representation of a
 type at runtime (other than I suppose `Generic`). That being said, we do
 generate Typeable evidence for promoted data constructors, so we already
 do much of the work necessary to do so. That being said, it's not clear
 that this would be a useful enough feature to justify the cost.

 As far as making the hash more precise is concerned, the data family issue
 is enough of am argument against rocking the boat without very good
 reason.

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