#11120: Missing type representations -------------------------------------+------------------------------------- Reporter: goldfire | Owner: Type: bug | Status: closed Priority: high | Milestone: 8.0.1 Component: Compiler | Version: 7.11 Resolution: fixed | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Phab:D1774 Wiki Page: | -------------------------------------+------------------------------------- Comment (by simonpj): The code is {{{ trTyConDataCon :: DataCon trTyConDataCon = pcDataCon trTyConDataConName [] [fprint, fprint, trModuleTy, trNameTy] trTyConTyCon where -- TODO: This should be for the target, no? #if WORD_SIZE_IN_BITS < 64 fprint = word64PrimTy #else fprint = wordPrimTy #endif }}} Question: why is `trTyConTyCon` wired in at all? Its only use is in `TcTypeable` which could perfectly well look it up in the envt (it would need to be a known-key name). We should never wire-in type constructors without a pressing reason. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/11120#comment:32 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler