#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): The principle difficulty here is the following: * The first thing that we do during type checking is construct a `GHC.Types.Module` binding to represent the module being compiled. This is necessary since we must refer to this binding when generating implicits for the data types which we later typecheck * When we compile `GHC.Types` `Module` is not yet in scope, since it is defined in the module we are currently compiling Similar issues occur with the `TyCon` and `TrName` types. I thought it would be possible to finagle the order of typechecking such that we could ensure that everything was in scope when needed. After playing around with a few ideas I suspect that, while this might be possible, the result will be too fragile to offset the benefit of unwiring these types. Sadly wiring-in really does seem like the simplest option here. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/11120#comment:34 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler