Re: [ANNOUNCE] GHC 9.8.1-alpha2 is now available

--===============6513905707867715397==
Content-Type: multipart/alternative; boundary="000000000000083d940603858dd8"

--000000000000083d940603858dd8
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

=F0=9F=98=B1
Thanks Sam and Noon! I'm obviously great at copy-pasting.


On Tue, 22 Aug 2023 at 14:36, Noon van der Silk <[email protected]> wrote:

> Hey Arnaud,
>
> > For the sake of the future announcements, the first item should have
> s/TypeApplications/TypeApplications/
>
> I assume you mean "TypeApplications" instead of "TypeApplications", right=
?
>
> :D
>
> --
> Noon
>
>
> On Tue, 22 Aug 2023 at 13:30, Arnaud Spiwack <[email protected]>
> wrote:
>
>> Thanks Ben.
>>
>> For the sake of the future announcements, the first item should have
>> s/TypeApplications/TypeApplications/
>>
>>
>> On Thu, 10 Aug 2023 at 17:09, Ben Gamari <[email protected]> wrote:
>>
>>>
>>> The GHC developers are very pleased to announce the availability of the
>>> second alpha prerelease of GHC 9.8.1. Binary distributions, source
>>> distributions, and documentation are available at
>>>
>>>                https://downloads.haskell.org/ghc/9.8.1-alpha2
>>>
>>> GHC 9.8 will bring a number of new features and improvements, including=
:
>>>
>>>  * Preliminary support the `TypeApplications` language extension
>>> [type-binders],
>>>    allowing types to be bound in type declarations.
>>>
>>>  * Support for the `ExtendedLiterals` extension, providing syntax for
>>>    non-word-sized numeric literals in the surface language
>>>    [extended-literals]
>>>
>>>  * Improved rewrite rule matching behavior, allowing limited matching o=
f
>>>    higher-order patterns
>>>
>>>  * Better support for user-defined warnings by way of the `WARNING`
>>> pragma [warnings]
>>>
>>>  * The introduction of the new `GHC.TypeError.Unsatisfiable`
>>>    constraint, allowing more predictable user-defined type errors
>>> [unsatisfiable]
>>>
>>>  * Implementation of the export deprecation proposal, allowing module
>>>    exports to be marked with `DEPRECATE` pragmas [deprecated-exports]
>>>
>>>  * The addition of build semaphore support for parallel compilation;
>>>    with coming support in `cabal-install` this will allow better use of
>>>    parallelism in multi-package builds [jsem]
>>>
>>>  * More efficient representation of info table provenance information,
>>>    reducing binary sizes by over 50% in some cases when
>>>    `-finfo-table-map` is in use
>>>
>>> A full accounting of changes can be found in the [release notes].
>>> This alpha includes around two dozen bug-fixes relative to alpha 1.
>>>
>>> We would like to thank GitHub, IOG, the Zw3rk stake pool,
>>> Well-Typed, Tweag I/O, Serokell, Equinix, SimSpace, the Haskell
>>> Foundation, and other anonymous contributors whose on-going financial
>>> and in-kind support has facilitated GHC maintenance and release
>>> management over the years. Finally, this release would not have been
>>> possible without the hundreds of open-source contributors whose work
>>> comprise this release.
>>>
>>> As always, do give this release a try and open a [ticket] if you see
>>> anything amiss.
>>>
>>> Happy compiling,
>>>
>>> ~ Ben
>>>
>>>
>>> [type-binders]:
>>> https://github.com/ghc-proposals/ghc-proposals/blob/master/proposals/04=
25-decl-invis-binders.rst
>>> [extended-literals
>>> <https://github.com/ghc-proposals/ghc-proposals/blob/master/proposals/0=
425-decl-invis-binders.rst%5Bextended-literals>]:
>>>
>>> https://github.com/ghc-proposals/ghc-proposals/blob/master/proposals/04=
51-sized-literals.rst
>>> [unsatisfiable]:
>>> https://github.com/ghc-proposals/ghc-proposals/blob/master/proposals/04=
33-unsatisfiable.rst
>>> [warnings]:
>>> https://github.com/ghc-proposals/ghc-proposals/blob/master/proposals/05=
41-warning-pragmas-with-categories.rst
>>> [deprecated-exports
>>> <https://github.com/ghc-proposals/ghc-proposals/blob/master/proposals/0=
541-warning-pragmas-with-categories.rst%5Bdeprecated-exports>]:
>>>
>>> https://github.com/ghc-proposals/ghc-proposals/blob/master/proposals/01=
34-deprecating-exports-proposal.rst
>>> [jsem]:
>>> https://github.com/ghc-proposals/ghc-proposals/blob/master/proposals/05=
40-jsem.rst
>>> [release notes]:
>>> https://downloads.haskell.org/ghc/9.8.1-alpha2/docs/users_guide/9.8.1-n=
otes.html
>>> [ticket]: https://gitlab.haskell.org/ghc/ghc/-/issues/new
>>> _______________________________________________
>>> Haskell-Cafe mailing list
>>> To (un)subscribe, modify options or view archives go to:
>>> http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe
>>> Only members subscribed via the mailman list are allowed to post.
>>
>>
>>
>> --
>> Arnaud Spiwack
>> Director, Research at https://moduscreate.com and https://tweag.io.
>> _______________________________________________
>> Haskell-Cafe mailing list
>> To (un)subscribe, modify options or view archives go to:
>> http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe
>> Only members subscribed via the mailman list are allowed to post.
>
>
>
> --
> Noon van der Silk, =D9=86
>
> http://silky.github.io/
>
> "My programming language is kindness."
>


--=20
Arnaud Spiwack
Director, Research at https://moduscreate.com and https://tweag.io.

--000000000000083d940603858dd8
Content-Type: text/html; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

<div dir=3D"ltr"><div>=F0=9F=98=B1</div><div>Thanks Sam and Noon! I&#39;m o=
bviously great at copy-pasting.<br></div><br></div><br><div class=3D"gmail_=
quote"><div dir=3D"ltr" class=3D"gmail_attr">On Tue, 22 Aug 2023 at 14:36, =
Noon van der Silk &lt;<a href=3D"mailto:[email protected]">noonsilk@gmail.=
com</a>&gt; wrote:<br></div><blockquote class=3D"gmail_quote" style=3D"marg=
in:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1e=
x"><div dir=3D"ltr">Hey Arnaud,<div><br></div><div>&gt; For the sake of the=
 future announcements, the first item should have s/TypeApplications/TypeAp=
plications/</div><div><br></div><div>I assume you mean &quot;TypeApplicatio=
ns&quot; instead of &quot;TypeApplications&quot;, right?</div><div><br></di=
v><div>:D</div><div><br></div><div>--</div><div>Noon</div><div><br></div></=
div><br><div class=3D"gmail_quote"><div dir=3D"ltr" class=3D"gmail_attr">On=
 Tue, 22 Aug 2023 at 13:30, Arnaud Spiwack &lt;<a href=3D"mailto:arnaud.spi=
[email protected]" target=3D"_blank">[email protected]</a>&gt; wrote:<br>=
</div><blockquote class=3D"gmail_quote" style=3D"margin:0px 0px 0px 0.8ex;b=
order-left:1px solid rgb(204,204,204);padding-left:1ex"><div dir=3D"ltr"><d=
iv>Thanks Ben.</div><div><br></div><div>For the sake of the future announce=
ments, the first item should have s/TypeApplications/TypeApplications/</div=
><div><br></div></div><br><div class=3D"gmail_quote"><div dir=3D"ltr" class=
=3D"gmail_attr">On Thu, 10 Aug 2023 at 17:09, Ben Gamari &lt;<a href=3D"mai=
lto:[email protected]" target=3D"_blank">[email protected]</a>&gt; wrote:=
<br></div><blockquote class=3D"gmail_quote" style=3D"margin:0px 0px 0px 0.8=
ex;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>
=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0<a href=3D"https://d=
ownloads.haskell.org/ghc/9.8.1-alpha2" rel=3D"noreferrer" target=3D"_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>
=C2=A0* Preliminary support the `TypeApplications` language extension [type=
-binders],<br>
=C2=A0 =C2=A0allowing types to be bound in type declarations.<br>
<br>
=C2=A0* Support for the `ExtendedLiterals` extension, providing syntax for<=
br>
=C2=A0 =C2=A0non-word-sized numeric literals in the surface language<br>
=C2=A0 =C2=A0[extended-literals]<br>
<br>
=C2=A0* Improved rewrite rule matching behavior, allowing limited matching =
of<br>
=C2=A0 =C2=A0higher-order patterns<br>
<br>
=C2=A0* Better support for user-defined warnings by way of the `WARNING` pr=
agma [warnings]<br>
<br>
=C2=A0* The introduction of the new `GHC.TypeError.Unsatisfiable`<br>
=C2=A0 =C2=A0constraint, allowing more predictable user-defined type errors=
 [unsatisfiable]<br>
<br>
=C2=A0* Implementation of the export deprecation proposal, allowing module<=
br>
=C2=A0 =C2=A0exports to be marked with `DEPRECATE` pragmas [deprecated-expo=
rts]<br>
<br>
=C2=A0* The addition of build semaphore support for parallel compilation;<b=
r>
=C2=A0 =C2=A0with coming support in `cabal-install` this will allow better =
use of<br>
=C2=A0 =C2=A0parallelism in multi-package builds [jsem]<br>
<br>
=C2=A0* More efficient representation of info table provenance information,=
<br>
=C2=A0 =C2=A0reducing binary sizes by over 50% in some cases when<br>
=C2=A0 =C2=A0`-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=3D"https://github.com/ghc-proposals/ghc-proposals/b=
lob/master/proposals/0425-decl-invis-binders.rst%5Bextended-literals" rel=
=3D"noreferrer" target=3D"_blank">https://github.com/ghc-proposals/ghc-prop=
osals/blob/master/proposals/0425-decl-invis-binders.rst<br>
[extended-literals</a>]: <a href=3D"https://github.com/ghc-proposals/ghc-pr=
oposals/blob/master/proposals/0451-sized-literals.rst" rel=3D"noreferrer" t=
arget=3D"_blank">https://github.com/ghc-proposals/ghc-proposals/blob/master=
/proposals/0451-sized-literals.rst</a><br>
[unsatisfiable]: <a href=3D"https://github.com/ghc-proposals/ghc-proposals/=
blob/master/proposals/0433-unsatisfiable.rst" rel=3D"noreferrer" target=3D"=
_blank">https://github.com/ghc-proposals/ghc-proposals/blob/master/proposal=
s/0433-unsatisfiable.rst</a><br>
[warnings]: <a href=3D"https://github.com/ghc-proposals/ghc-proposals/blob/=
master/proposals/0541-warning-pragmas-with-categories.rst%5Bdeprecated-expo=
rts" rel=3D"noreferrer" target=3D"_blank">https://github.com/ghc-proposals/=
ghc-proposals/blob/master/proposals/0541-warning-pragmas-with-categories.rs=
t<br>
[deprecated-exports</a>]: <a href=3D"https://github.com/ghc-proposals/ghc-p=
roposals/blob/master/proposals/0134-deprecating-exports-proposal.rst" rel=
=3D"noreferrer" target=3D"_blank">https://github.com/ghc-proposals/ghc-prop=
osals/blob/master/proposals/0134-deprecating-exports-proposal.rst</a><br>
[jsem]: <a href=3D"https://github.com/ghc-proposals/ghc-proposals/blob/mast=
er/proposals/0540-jsem.rst" rel=3D"noreferrer" target=3D"_blank">https://gi=
thub.com/ghc-proposals/ghc-proposals/blob/master/proposals/0540-jsem.rst</a=
><br>
[release notes]: <a href=3D"https://downloads.haskell.org/ghc/9.8.1-alpha2/=
docs/users_guide/9.8.1-notes.html" rel=3D"noreferrer" target=3D"_blank">htt=
ps://downloads.haskell.org/ghc/9.8.1-alpha2/docs/users_guide/9.8.1-notes.ht=
ml</a><br>
[ticket]: <a href=3D"https://gitlab.haskell.org/ghc/ghc/-/issues/new" rel=
=3D"noreferrer" target=3D"_blank">https://gitlab.haskell.org/ghc/ghc/-/issu=
es/new</a><br>
_______________________________________________<br>
Haskell-Cafe mailing list<br>
To (un)subscribe, modify options or view archives go to:<br>
<a href=3D"http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe" r=
el=3D"noreferrer" target=3D"_blank">http://mail.haskell.org/cgi-bin/mailman=
/listinfo/haskell-cafe</a><br>
Only members subscribed via the mailman list are allowed to post.</blockquo=
te></div><br clear=3D"all"><br><span class=3D"gmail_signature_prefix">-- </=
span><br><div dir=3D"ltr" class=3D"gmail_signature"><div dir=3D"ltr">Arnaud=
 Spiwack<br>Director, Research at <a href=3D"https://moduscreate.com" rel=
=3D"noopener noreferrer" target=3D"_blank">https://moduscreate.com</a> and =
<a href=3D"https://tweag.io" rel=3D"noopener noreferrer" target=3D"_blank">=
https://tweag.io</a>.</div></div>
_______________________________________________<br>
Haskell-Cafe mailing list<br>
To (un)subscribe, modify options or view archives go to:<br>
<a href=3D"http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe" r=
el=3D"noreferrer" target=3D"_blank">http://mail.haskell.org/cgi-bin/mailman=
/listinfo/haskell-cafe</a><br>
Only members subscribed via the mailman list are allowed to post.</blockquo=
te></div><br clear=3D"all"><div><br></div><span class=3D"gmail_signature_pr=
efix">-- </span><br><div dir=3D"ltr" class=3D"gmail_signature"><div dir=3D"=
ltr"><div dir=3D"ltr">Noon van der Silk, =D9=86<br><br><a href=3D"http://si=
lky.github.io/" target=3D"_blank">http://silky.github.io/</a><br><br>&quot;=
My programming language is kindness.&quot;</div></div></div>
</blockquote></div><br clear=3D"all"><br><span class=3D"gmail_signature_pre=
fix">-- </span><br><div dir=3D"ltr" class=3D"gmail_signature"><div dir=3D"l=
tr">Arnaud Spiwack<br>Director, Research at <a href=3D"https://moduscreate.=
com" rel=3D"noopener noreferrer" target=3D"_blank">https://moduscreate.com<=
/a> and <a href=3D"https://tweag.io" rel=3D"noopener noreferrer" target=3D"=
_blank">https://tweag.io</a>.</div></div>

--000000000000083d940603858dd8--

--===============6513905707867715397==
Content-Type: text/plain; charset="utf-8"
MIME-Version: 1.0
Content-Transfer-Encoding: base64
Content-Disposition: inline

X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX18KSGFza2VsbC1D
YWZlIG1haWxpbmcgbGlzdApUbyAodW4pc3Vic2NyaWJlLCBtb2RpZnkgb3B0aW9ucyBvciB2aWV3
IGFyY2hpdmVzIGdvIHRvOgpodHRwOi8vbWFpbC5oYXNrZWxsLm9yZy9jZ2ktYmluL21haWxtYW4v
bGlzdGluZm8vaGFza2VsbC1jYWZlCk9ubHkgbWVtYmVycyBzdWJzY3JpYmVkIHZpYSB0aGUgbWFp
bG1hbiBsaXN0IGFyZSBhbGxvd2VkIHRvIHBvc3Qu

--===============6513905707867715397==--