#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 bgamari):
Yes it is! We typecheck the module before generating those extra bindings.
Hmm, in that case I'm a bit stumped as to why my `wip/typeable-unwired` branch fails while building `GHC.Types` with, {{{ libraries/ghc-prim/GHC/Types.hs:1:1: error: GHC internal error: ‘TyCon’ is not in scope during type checking, but it passed the renamer }}} This appears to occur at some point between the `Tc3` and `Tc4` trace points. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/11120#comment:37 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler