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

[GHC]

#7897: MakeTypeRep fingerprints be proper, robust fingerprints
-------------------------------------+------------------------------------
        Reporter:  simonpj           |            Owner:
            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      |       Difficulty:  Unknown
       Test Case:                    |       Blocked By:
        Blocking:                    |  Related Tickets:
-------------------------------------+------------------------------------

Comment (by simonmar):

 I'll point out that the package name contains the version, so in most
 cases the current scheme is safe.  Of course this doesn't help for the
 main package, but if you're serializing data from a properly packaged
 library, it's fine.  The other problem is that !TypeReps will be currently
 distinguished when it would be safe to equate them.

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