#12635: Compress core in interface files -------------------------------------+------------------------------------- Reporter: nomeata | Owner: Type: task | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.0.1 Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: None/Unknown Unknown/Multiple | Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- Inspired by #12626 and #12618, the idea came up of storing less stuff about Core expressions in interface files if we can infer it while reading it. For example, in the unfolding of an function `Int -> Int`, which might look like `\x::Int → ...`, the type annotation of the variable is obviously redundant. This avenue should be explored more. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/12635 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler