GHC 9.0?

Krzysztof Gogolewski krz.gogolewski at gmail.com
Fri Jul 17 16:03:43 UTC 2020


Hi,

There is an exceptional number of changes stated for the next release.

* Better pattern matching coverage detection
* New windows IO manager
* Linear types
* Large-scale typechecker changes - Taming the Kind Inference Monster,
simplified subsumption
* Better register allocation, improving runtime by 0.8% according to
release notes
* ghc-bignum
* Explicit specificity and eager instantiation
* Qualified do
* Lexical negation
* Perhaps Quick Look will manage to land

Should we call it GHC 9.0? I think the name would be deserved.


More information about the ghc-devs mailing list