[GHC] #11120: Missing type representations

[GHC]

#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):

 >  * When we compile `GHC.Types` `Module` is not yet in scope, since it is
 defined in the module we are currently compiling

 Yes it is!  We typecheck the module before generating those extra
 bindings.  So the definitions will be in the type environment, won't they.

--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/11120#comment:36>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler