Re: [Haskell-cafe] [ANNOUNCE] GHC 9.8.1-alpha4 is now available

--===============7123670744538432764==
Content-Type: multipart/alternative; boundary="000000000000d991820605fa395e"

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

   -
   #21570, Linker broken on M1 Mac, occurs on 9.8.1-alpha4. I have updated
   the bug. My guess is that it was never addressed as the info needed tag =
was
   never removed after the  required  info was supplied. It might be good t=
o
   have a test for this. <https://gitlab.haskell.org/ghc/ghc/-/issues/21570=
>
   -
   <https://gitlab.haskell.org/ghc/ghc/-/issues/21570>


On Wed, Sep 20, 2023 at 1:54=E2=80=AFAM Ben Gamari <[email protected]> wro=
te:

>
> The GHC developers are very pleased to announce the availability of the
> third alpha prerelease of GHC 9.8.1. Binary distributions, source
> distributions, and documentation are available at
>
>             https://downloads.haskell.org/ghc/9.8.1-alpha4
>
> GHC 9.8 will bring a number of new features and improvements, including:
>
>  * Preliminary support the `TypeAbstractions` language extension,
>    allowing types to be bound in type declarations [TypeAbstractions].
>
>  * 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 of
>    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 roughly 40 new commits relative to alpha 3,
> including what we believe should be nearly the last changes to GHC's
> boot libraries.
>
> 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
>
> [TypeAbstractions]:
> https://github.com/ghc-proposals/ghc-proposals/blob/master/proposals/0425=
-decl-invis-binders.rst
> [extended-literals
> <https://github.com/ghc-proposals/ghc-proposals/blob/master/proposals/042=
5-decl-invis-binders.rst%5Bextended-literals>]:
>
> https://github.com/ghc-proposals/ghc-proposals/blob/master/proposals/0451=
-sized-literals.rst
> [unsatisfiable]:
> https://github.com/ghc-proposals/ghc-proposals/blob/master/proposals/0433=
-unsatisfiable.rst
> [warnings]:
> https://github.com/ghc-proposals/ghc-proposals/blob/master/proposals/0541=
-warning-pragmas-with-categories.rst
> [deprecated-exports
> <https://github.com/ghc-proposals/ghc-proposals/blob/master/proposals/054=
1-warning-pragmas-with-categories.rst%5Bdeprecated-exports>]:
>
> https://github.com/ghc-proposals/ghc-proposals/blob/master/proposals/0134=
-deprecating-exports-proposal.rst
> [jsem]:
> https://github.com/ghc-proposals/ghc-proposals/blob/master/proposals/0540=
-jsem.rst
> [release notes]:
> https://downloads.haskell.org/ghc/9.8.1-alpha4/docs/users_guide/9.8.1-not=
es.html
> _______________________________________________
> 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.

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

<div dir=3D"ltr"><div dir=3D"ltr"><div class=3D"gmail_default" style=3D"fon=
t-family:&quot;times new roman&quot;,serif;font-size:large"><ul class=3D"gm=
ail-list-unstyled gmail-breadcrumbs-list gmail-js-breadcrumbs-list" style=
=3D"box-sizing:border-box;font-variant-ligatures:none;margin-top:0px;margin=
-bottom:0px;padding-left:0px;list-style:none;display:flex;line-height:16px;=
color:rgb(115,114,120);font-family:&quot;GitLab Sans&quot;,-apple-system,&q=
uot;system-ui&quot;,&quot;Segoe UI&quot;,Roboto,&quot;Noto Sans&quot;,Ubunt=
u,Cantarell,&quot;Helvetica Neue&quot;,sans-serif,&quot;Apple Color Emoji&q=
uot;,&quot;Segoe UI Emoji&quot;,&quot;Segoe UI Symbol&quot;,&quot;Noto Colo=
r Emoji&quot;;font-size:14px"><li style=3D"box-sizing:border-box;display:fl=
ex;min-width:0px;padding:2px 0px"><a href=3D"https://gitlab.haskell.org/ghc=
/ghc/-/issues/21570" style=3D"box-sizing:border-box;color:rgb(51,50,56);tex=
t-decoration-line:none;background-color:transparent;font-size:12px;overflow=
:hidden;text-overflow:ellipsis;font-weight:600;line-height:16px"><br class=
=3D"gmail-Apple-interchange-newline">#21570,=C2=A0Linker broken on M1 Mac, =
occurs on=C2=A09.8.1-alpha4. I have updated the bug. My guess is that it wa=
s never addressed as the info needed tag was never removed after the=C2=A0 =
required=C2=A0 info was supplied. It might be good to have a test for this.=
</a></li><li style=3D"box-sizing:border-box;display:flex;min-width:0px;padd=
ing:2px 0px"><a href=3D"https://gitlab.haskell.org/ghc/ghc/-/issues/21570" =
style=3D"box-sizing:border-box;color:rgb(51,50,56);text-decoration-line:non=
e;background-color:transparent;font-size:12px;overflow:hidden;text-overflow=
:ellipsis;font-weight:600;line-height:16px"><br></a></li></ul></div></div><=
br><div class=3D"gmail_quote"><div dir=3D"ltr" class=3D"gmail_attr">On Wed,=
 Sep 20, 2023 at 1:54=E2=80=AFAM Ben Gamari &lt;<a href=3D"mailto:ben@well-=
typed.com">[email protected]</a>&gt; wrote:<br></div><blockquote class=3D"=
gmail_quote" style=3D"margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(20=
4,204,204);padding-left:1ex"><br>
The GHC developers are very pleased to announce the availability of the<br>
third 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 <a href=3D"https://downloads.hask=
ell.org/ghc/9.8.1-alpha4" rel=3D"noreferrer" target=3D"_blank">https://down=
loads.haskell.org/ghc/9.8.1-alpha4</a><br>
<br>
GHC 9.8 will bring a number of new features and improvements, including:<br=
>
<br>
=C2=A0* Preliminary support the `TypeAbstractions` language extension,<br>
=C2=A0 =C2=A0allowing types to be bound in type declarations [TypeAbstracti=
ons].<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`<br=
>
=C2=A0 =C2=A0pragma [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=
<br>
=C2=A0 =C2=A0[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 roughly 40 new commits relative to alpha 3,<br>
including what we believe should be nearly the last changes to GHC&#39;s<br=
>
boot libraries.<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>
[TypeAbstractions]: <a href=3D"https://github.com/ghc-proposals/ghc-proposa=
ls/blob/master/proposals/0425-decl-invis-binders.rst%5Bextended-literals" r=
el=3D"noreferrer" target=3D"_blank">https://github.com/ghc-proposals/ghc-pr=
oposals/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-alpha4/=
docs/users_guide/9.8.1-notes.html" rel=3D"noreferrer" target=3D"_blank">htt=
ps://downloads.haskell.org/ghc/9.8.1-alpha4/docs/users_guide/9.8.1-notes.ht=
ml</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></div>

--000000000000d991820605fa395e--

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

X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX18KR2xhc2dvdy1o
YXNrZWxsLXVzZXJzIG1haWxpbmcgbGlzdApHbGFzZ293LWhhc2tlbGwtdXNlcnNAaGFza2VsbC5v
cmcKaHR0cDovL21haWwuaGFza2VsbC5vcmcvY2dpLWJpbi9tYWlsbWFuL2xpc3RpbmZvL2dsYXNn
b3ctaGFza2VsbC11c2Vycwo=

--===============7123670744538432764==--