[GHC] #15320: Save the types in the typechecked syntax tree

[GHC]

#15320: Save the types in the typechecked syntax tree
-------------------------------------+-------------------------------------
        Reporter:  nboldi            |                Owner:  (none)
            Type:  feature request   |               Status:  new
        Priority:  normal            |            Milestone:  8.6.1
       Component:  Compiler          |              Version:  8.4.3
      Resolution:                    |             Keywords:
Operating System:  Unknown/Multiple  |         Architecture:
                                     |  Unknown/Multiple
 Type of failure:  None/Unknown      |            Test Case:
      Blocked By:                    |             Blocking:
 Related Tickets:                    |  Differential Rev(s):
       Wiki Page:                    |
-------------------------------------+-------------------------------------

Comment (by goldfire):

 But GHC itself has no need for such information, so it seems that doing
 this would necessarily slow down every compilation... so I'm worried that
 everyone will have to pay the cost of this feature. On the other hand, you
 could define a new pass (an alternative to `GhcTc`) that adds the type
 information and then calculate all the types once, when you need them, but
 never again.

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