<div dir="ltr"><div class="gmail_default" style="font-family:times new roman,serif;font-size:large">Good news! I assume there will be a Mac OS binary distribution soon?</div><div class="gmail_extra"><br><div class="gmail_quote">On Sun, Feb 7, 2016 at 2:13 PM, Ben Gamari <span dir="ltr"><<a href="mailto:ben@well-typed.com" target="_blank">ben@well-typed.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><br>
Hello everyone,<br>
<br>
The GHC Team is very pleased to announce the second release candidate of<br>
the Glasgow Haskell Compiler 8.0.1 release. Source and binary<br>
distributions as well as the newly revised users guide and Haddock<br>
documentation can be found at<br>
<br>
<a href="http://downloads.haskell.org/~ghc/8.0.1-rc2/" rel="noreferrer" target="_blank">http://downloads.haskell.org/~ghc/8.0.1-rc2/</a><br>
<br>
This is the second in a series of release candidates leading up to the 8.0.1<br>
release and fixes many of the issues reported in -rc1. These fixes<br>
include,<br>
<br>
* A re-rewrite of the pattern checker by George Karachalias. The new<br>
checker should have far more predictable performance characteristics<br>
while sacrificing minimal reasoning power. This should resolve a<br>
large number of the issues felt in -rc1.<br>
<br>
* Richard Eisenberg has been hammering out all manner of<br>
type-application- and TypeInType-related issues (#11335, #11416,<br>
#11405). There is still more work to do here, however (e.g. #11471).<br>
<br>
* Matthew Pickering has restored support for multi-clause pattern<br>
synonyms (#11367)<br>
<br>
* A latent bug in the constraint solver which popped up as a build<br>
failure in xmonad-contrib in -rc1 has been fixed (#11379)<br>
<br>
* Dimitrios Vytiniotis and Simon Peyton Jones has been squashing a<br>
variety of older type-checker bugs at a furious rate (#11458,<br>
#11248, #11330, #11408)<br>
<br>
* Simon Peyton Jones has taught demand analysis to more precisely<br>
handle exceptions (#11222)<br>
<br>
* Tamar Christina has added support for remote GHCi on Windows<br>
and resolved a long-standing linking issue (#11223)<br>
<br>
* Loading of compiled modules needing shared library symbols now works<br>
in GHCi thanks to Peter Trommler (#10458)<br>
<br>
* A variety of limitations in our implementation of Typeable<br>
implementation have been fixed (#11120) although there is still more<br>
to be done (#11334).<br>
<br>
* A terrible failure of type inference due to visible type application has<br>
been fixed (#11458)<br>
<br>
* InjectiveTypeFamilies has been renamed to TypeFamilyDependencies<br>
<br>
* Custom type errors are now more robust (#11391) although there is<br>
still more work to be done (#11541)<br>
<br>
* We now have a more conservative default warning set, as well as<br>
better mechanisms for managing warning changes in the future.<br>
(#11429, #11370)<br>
<br>
* Compatibility with earlier Cabal versions should be a bit more<br>
robust.<br>
<br>
* The user-facing interface of the (formerly "implicit") CallStack<br>
functionality has been reworked, hiding the implicit callstack<br>
parameter behind a constraint synonym.<br>
<br>
* Online haddock documentation has been restored (#11419)<br>
<br>
* We now offer xz archives exclusively<br>
<br>
* A variety of miscellaneous bug-fixes have also been merged.<br>
<br>
All of these changes add up to nearly 200 commits in total. Given the<br>
large amount of churn between this candidate and -rc1, as well as the<br>
fact that there is at least one more significant patch pending (D1891,<br>
to fix #11471 and others), we will be releasing a third release<br>
candidate in a few weeks which should address more of the issues listed<br>
on the release status page [1]. Assuming things go well, we should be<br>
able to cut a final release by early March at the latest.<br>
<br>
All of the builds above were produced from the ghc-8.0.1-rc2 tag (commit<br>
e2230228906a1c0fa1f86a0c1aa18d87de3cc49d) *with the exception of the<br>
Windows builds*. Unfortunately, it was realized only too late that the<br>
tagged commit is broken on Windows. Consequently, the Windows builds<br>
were produced from the ghc-8.0.1-rc2 tag with two additional patches<br>
(commit 5b35c5509adb1311856faa0bc9767aec9ad5e9b7). While this would of<br>
course be completely unacceptable for a proper release, time constraints<br>
have meant that this was unfortunately the only viable option for this<br>
release candidate. We apologize for any confusion this may cause.<br>
<br>
At this point we are working very hard to nail the remaining bugs<br>
labelled as "highest" priority on the 8.0.1 status page [1]. If you have<br>
an issue which you'd like to see addressed in the release that does not<br>
appear in this list, please bring it to our attention.<br>
<br>
As always, we look forward to hearing about any issues that you<br>
encounter with this candidate. Thanks to everyone who has contributed so<br>
far!<br>
<br>
Cheers,<br>
<br>
- Ben<br>
<br>
<br>
[1] <a href="https://ghc.haskell.org/trac/ghc/wiki/Status/GHC-8.0.1" rel="noreferrer" target="_blank">https://ghc.haskell.org/trac/ghc/wiki/Status/GHC-8.0.1</a><br>
<br>_______________________________________________<br>
Glasgow-haskell-users mailing list<br>
<a href="mailto:Glasgow-haskell-users@haskell.org">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>
<br></blockquote></div><br></div></div>