[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 bgamari):

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

 Ahh, I think we were talking about different things. The `TyCon` bindings
 are indeed generated after type checking the module's type declarations.
 However, this is not the case for the `Module` binding: Generating it is
 literally the first thing done by `tcRnSrcDecls`,
 {{{#!hs
 tcRnSrcDecls explicit_mod_hdr decls
  = do { -- Create a binding for $trModule
         -- Do this before processing any data type declarations,
         -- which need tcg_tr_module to be initialised
       ; tcg_env <- mkModIdBindings
       ; tcg_env <- setGblEnv tcg_env mkPrimTypeableBinds

         -- Do all the declarations
       ; ((tcg_env, tcl_env), lie) <- setGblEnv tcg_env  $
                                      captureConstraints $
               do { (tcg_env, tcl_env) <- tc_rn_src_decls decls ;
                  ; tcg_env <- setEnvs (tcg_env, tcl_env) $
                               checkMain explicit_mod_hdr
                  ; return (tcg_env, tcl_env) }
       ...
 }}}

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