#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): That's only because we do `mkTypeableBinds` on a group by group basis. Instead we could * Typecheck all the type/class decls * Do `mkModIdBindings` * Do `mkTypeableBindings` That might also mean that we could generate type representations for all types in `GHC.Types` instead of the weird stuff that happens now, with them being manually defined elsewhere -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/11120#comment:39 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler