#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