#7897: MakeTypeRep fingerprints be proper, robust fingerprints ---------------------------------+------------------------------------------ Reporter: simonpj | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.6.3 Keywords: | Os: Unknown/Multiple Architecture: Unknown/Multiple | Failure: None/Unknown Difficulty: Unknown | Testcase: Blockedby: | Blocking: Related: | ---------------------------------+------------------------------------------ Comment(by simonpj): Both Pedro's (dreixel) points above are good ones. The data-family question is particularly problematic; but as things stand it's very simple. So the status quo,in which `TypeRep`s are essentially compared by name, is looking more attractive. No one is aruging for this change. So I propose to park it for now. But I'll leave the ticket as a placeholder for discussion. -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/7897#comment:3 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler