#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