Compress core in interface files
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.
Trac metadata
| Trac field | Value |
|---|---|
| Version | 8.0.1 |
| Type | Task |
| TypeOfFailure | OtherFailure |
| Priority | normal |
| Resolution | Unresolved |
| Component | Compiler |
| Test case | |
| Differential revisions | |
| BlockedBy | |
| Related | |
| Blocking | |
| CC | |
| Operating system | |
| Architecture |