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.
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