<div dir="ltr"><div>Thanks Ben.</div><div><br></div><div>For the sake of the future announcements, the first item should have s/TypeApplications/TypeApplications/</div><div><br></div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Thu, 10 Aug 2023 at 17:09, Ben Gamari <<a href="mailto:ben@well-typed.com" target="_blank">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"><br>
The GHC developers are very pleased to announce the availability of the<br>
second alpha prerelease of GHC 9.8.1. Binary distributions, source<br>
distributions, and documentation are available at<br>
<br>
<a href="https://downloads.haskell.org/ghc/9.8.1-alpha2" rel="noreferrer" target="_blank">https://downloads.haskell.org/ghc/9.8.1-alpha2</a><br>
<br>
GHC 9.8 will bring a number of new features and improvements, including:<br>
<br>
* Preliminary support the `TypeApplications` language extension [type-binders],<br>
allowing types to be bound in type declarations.<br>
<br>
* Support for the `ExtendedLiterals` extension, providing syntax for<br>
non-word-sized numeric literals in the surface language<br>
[extended-literals]<br>
<br>
* Improved rewrite rule matching behavior, allowing limited matching of<br>
higher-order patterns<br>
<br>
* Better support for user-defined warnings by way of the `WARNING` pragma [warnings]<br>
<br>
* The introduction of the new `GHC.TypeError.Unsatisfiable`<br>
constraint, allowing more predictable user-defined type errors [unsatisfiable]<br>
<br>
* Implementation of the export deprecation proposal, allowing module<br>
exports to be marked with `DEPRECATE` pragmas [deprecated-exports]<br>
<br>
* The addition of build semaphore support for parallel compilation;<br>
with coming support in `cabal-install` this will allow better use of<br>
parallelism in multi-package builds [jsem]<br>
<br>
* More efficient representation of info table provenance information,<br>
reducing binary sizes by over 50% in some cases when<br>
`-finfo-table-map` is in use<br>
<br>
A full accounting of changes can be found in the [release notes].<br>
This alpha includes around two dozen bug-fixes relative to alpha 1.<br>
<br>
We would like to thank GitHub, IOG, the Zw3rk stake pool,<br>
Well-Typed, Tweag I/O, Serokell, Equinix, SimSpace, the Haskell<br>
Foundation, and other anonymous contributors whose on-going financial<br>
and in-kind support has facilitated GHC maintenance and release<br>
management over the years. Finally, this release would not have been<br>
possible without the hundreds of open-source contributors whose work<br>
comprise this release.<br>
<br>
As always, do give this release a try and open a [ticket] if you see<br>
anything amiss.<br>
<br>
Happy compiling,<br>
<br>
~ Ben<br>
<br>
<br>
[type-binders]: <a href="https://github.com/ghc-proposals/ghc-proposals/blob/master/proposals/0425-decl-invis-binders.rst%5Bextended-literals" rel="noreferrer" target="_blank">https://github.com/ghc-proposals/ghc-proposals/blob/master/proposals/0425-decl-invis-binders.rst<br>
[extended-literals</a>]: <a href="https://github.com/ghc-proposals/ghc-proposals/blob/master/proposals/0451-sized-literals.rst" rel="noreferrer" target="_blank">https://github.com/ghc-proposals/ghc-proposals/blob/master/proposals/0451-sized-literals.rst</a><br>
[unsatisfiable]: <a href="https://github.com/ghc-proposals/ghc-proposals/blob/master/proposals/0433-unsatisfiable.rst" rel="noreferrer" target="_blank">https://github.com/ghc-proposals/ghc-proposals/blob/master/proposals/0433-unsatisfiable.rst</a><br>
[warnings]: <a href="https://github.com/ghc-proposals/ghc-proposals/blob/master/proposals/0541-warning-pragmas-with-categories.rst%5Bdeprecated-exports" rel="noreferrer" target="_blank">https://github.com/ghc-proposals/ghc-proposals/blob/master/proposals/0541-warning-pragmas-with-categories.rst<br>
[deprecated-exports</a>]: <a href="https://github.com/ghc-proposals/ghc-proposals/blob/master/proposals/0134-deprecating-exports-proposal.rst" rel="noreferrer" target="_blank">https://github.com/ghc-proposals/ghc-proposals/blob/master/proposals/0134-deprecating-exports-proposal.rst</a><br>
[jsem]: <a href="https://github.com/ghc-proposals/ghc-proposals/blob/master/proposals/0540-jsem.rst" rel="noreferrer" target="_blank">https://github.com/ghc-proposals/ghc-proposals/blob/master/proposals/0540-jsem.rst</a><br>
[release notes]: <a href="https://downloads.haskell.org/ghc/9.8.1-alpha2/docs/users_guide/9.8.1-notes.html" rel="noreferrer" target="_blank">https://downloads.haskell.org/ghc/9.8.1-alpha2/docs/users_guide/9.8.1-notes.html</a><br>
[ticket]: <a href="https://gitlab.haskell.org/ghc/ghc/-/issues/new" rel="noreferrer" target="_blank">https://gitlab.haskell.org/ghc/ghc/-/issues/new</a><br>
_______________________________________________<br>
Haskell-Cafe mailing list<br>
To (un)subscribe, modify options or view archives go to:<br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe" rel="noreferrer" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe</a><br>
Only members subscribed via the mailman list are allowed to post.</blockquote></div><br clear="all"><br><span class="gmail_signature_prefix">-- </span><br><div dir="ltr" class="gmail_signature"><div dir="ltr">Arnaud Spiwack<br>Director, Research at <a href="https://moduscreate.com" rel="noopener noreferrer" target="_blank">https://moduscreate.com</a> and <a href="https://tweag.io" rel="noopener noreferrer" target="_blank">https://tweag.io</a>.</div></div>