<div dir="ltr"><div dir="ltr"><div class="gmail_default" style="font-family:times new roman,serif;font-size:large">Hi Ben,</div><div class="gmail_default" style="font-family:times new roman,serif;font-size:large"><br></div><div class="gmail_default" style="font-family:times new roman,serif;font-size:large">What are the current plans / schedule for 9.0.1?</div><div class="gmail_default" style="font-family:times new roman,serif;font-size:large"><br></div><div class="gmail_default" style="font-family:times new roman,serif;font-size:large">Thanks</div><div class="gmail_default" style="font-family:times new roman,serif;font-size:large">George</div><div class="gmail_default" style="font-family:times new roman,serif;font-size:large"><br></div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Mon, Sep 28, 2020 at 4:14 PM Ben Gamari <<a href="mailto:ben@well-typed.com">ben@well-typed.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">Hello all,<br>
<br>
The GHC team is very pleased to announce the availability of the first<br>
alpha release in the GHC 9.0 series. Source and binary distributions are<br>
available at the usual place:<br>
<br>
<a href="https://downloads.haskell.org/ghc/9.0.1-alpha1/" rel="noreferrer" target="_blank">https://downloads.haskell.org/ghc/9.0.1-alpha1/</a><br>
<br>
This first alpha comes quite a bit later than expected. However, we have<br>
done a significant amount of testing on this pre-release and therefore<br>
hope to be able to move forward quickly with a release candidate next<br>
week and with a final release in mid-October.<br>
<br>
GHC 9.0.1 will bring a number of new features:<br>
<br>
* A first cut of the new LinearTypes language extension [1], allowing<br>
use of linear function syntax and linear record fields.<br>
<br>
* A new bignum library (ghc-bignum), allowing GHC to be more easily<br>
used with integer libraries other than GMP.<br>
<br>
* Improvements in code generation, resulting in considerable<br>
performance improvements in some programs.<br>
<br>
* Improvements in pattern-match checking, allowing more precise<br>
detection of redundant cases and reduced compilation time.<br>
<br>
* Implementation of the "simplified subsumption" proposal [2]<br>
simplifying the type system and paving the way for QuickLook<br>
impredicativity in GHC 9.2.<br>
<br>
* Implementation of the QualifiedDo extension [3], allowing more<br>
convenient overloading of `do` syntax.<br>
<br>
* Improvements in compilation time.<br>
<br>
And many more. See the release notes [4] for a full accounting of the<br>
changes in this release.<br>
<br>
Do note that there are a few things that we expect will change before<br>
the final release:<br>
<br>
* We expect to sort out a notarization workflow for Apple Darwin,<br>
allowing our binary distributions to be used on macOS Catalina<br>
without hassle.<br>
<br>
Until this has been sorted out Catalina users can exempt the<br>
current macOS binary distribution from the notarization requirement<br>
themselves by running `xattr -cr .` on the unpacked tree before<br>
running `make install`.<br>
<br>
* We will likely transition the Alpine binary distribution to be fully<br>
statically-linked, providing a convenient, distribution-independent<br>
packaging option for Linux users.<br>
<br>
* We will be merging a robust solution for #17760 which will introduce<br>
a new primitive, `keepAlive#`, to the `base` library, subsuming<br>
most uses of `touch#`.<br>
<br>
As always, do test this release and open tickets for whatever issues you<br>
encounter. To help with this, we will be publishing a blog post<br>
describing use of our new `head.hackage` infrastructure to ease testing<br>
of larger projects with Hackage dependencies later this week.<br>
<br>
Cheers,<br>
<br>
- Ben<br>
<br>
<br>
[1] <a href="https://github.com/ghc-proposals/ghc-proposals/blob/master/proposals/0111-linear-types.rst" rel="noreferrer" target="_blank">https://github.com/ghc-proposals/ghc-proposals/blob/master/proposals/0111-linear-types.rst</a><br>
[2] <a href="https://github.com/ghc-proposals/ghc-proposals/blob/master/proposals/0287-simplify-subsumption.rst" rel="noreferrer" target="_blank">https://github.com/ghc-proposals/ghc-proposals/blob/master/proposals/0287-simplify-subsumption.rst</a><br>
[3] <a href="https://github.com/ghc-proposals/ghc-proposals/blob/master/proposals/0216-qualified-do.rst" rel="noreferrer" target="_blank">https://github.com/ghc-proposals/ghc-proposals/blob/master/proposals/0216-qualified-do.rst</a> <br>
[4] <a href="https://downloads.haskell.org/ghc/9.0.1-alpha1/docs/html/users_guide/9.0.1-notes.html" rel="noreferrer" target="_blank">https://downloads.haskell.org/ghc/9.0.1-alpha1/docs/html/users_guide/9.0.1-notes.html</a><br>
_______________________________________________<br>
Glasgow-haskell-users mailing list<br>
<a href="mailto:Glasgow-haskell-users@haskell.org" target="_blank">Glasgow-haskell-users@haskell.org</a><br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/glasgow-haskell-users" rel="noreferrer" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/glasgow-haskell-users</a><br>
</blockquote></div></div>