I always thought that we were waiting for -XDependentHaskell before we went
to 9. That's just been my impression though; no one has has ever said that,
AFAIK. Perhaps it is wrong.
On Fri, Jul 17, 2020, 9:04 AM Krzysztof Gogolewski
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. _______________________________________________ ghc-devs mailing list ghc-devs@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs