Re: GHC 9.14.1-alpha2 is now available

--===============6910315037181343957==
Content-Type: multipart/alternative; boundary="0000000000008d1a58063edba887"

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

Tahoe , the new MacOS, is out today. Should GHC users not upgrade to it? I
am concerned about https://gitlab.haskell.org/ghc/ghc/-/issues/26166

On Fri, Sep 12, 2025 at 10:26=E2=80=AFAM Ben Gamari <[email protected]> wr=
ote:

>
> The GHC developers are very pleased to announce the availability of the
> second alpha prerelease of GHC 9.14.1. Binary distributions, source
> distributions, and documentation are available at [downloads.haskell.org]=
.
>
> GHC 9.14 will bring a number of new features and improvements, including:
>
> * Significant improvements in specialisation:
>
>    * The `SPECIALISE` pragma now allows use of type application syntax
>
>    * The `SPECIALISE` pragma can be used to specialise for expression
> arguments
>      as well as type arguments.
>
>    * Specialisation is now considerably more reliable in the presence of
>      `newtype`s
>
> * Significant improvements in the GHCi debugger
>
> * Record fields can be defined to be non-linear when `LinearTypes` is
> enabled.
>
> * `RequiredTypeArgments` can now be used in more contexts
>
> * SSE/AVX2 support in the x86 native code generator backend
>
> * A major update of the Windows toolchain
>
> * ... and many more
>
> A full accounting of changes can be found in the [release notes]. Given t=
he
> many specialisation improvements and their potential for regression, we
> would
> very much appreciate testing and performance characterisation on downstre=
am
> workloads.
>
> Observant readers of these prerelease announcements will note that
> polymorphic
> specialisation has been dropped from alpha 2. This measure was taken out
> of an
> abundance of caution after finding a miscompilation during testing of
> alpha 1.
> While this bug will be fixed in the next alpha, we expect to keep
> polymorphic
> specialisation disabled by default in the final release. Users needing mo=
re
> aggressive specialisation can explicitly enable this feature with the
> `-fpolymorphic-specialisation` flag. Depending upon our experience with
> 9.14.1,
> we may enable this feature by default in a later minor release.
>
> This is the second of three expected alpha prereleases. We expect the nex=
t
> (third) alpha will come 23 Sept. 2025, with the release candidate coming =
7
> Oct.
> 2025.
>
> We would like to thank the Zw3rk stake pool, Well-Typed, Mercury,
> Channable,
> Tweag I/O, Serokell, SimSpace, the Haskell Foundation, and other anonymou=
s
> 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 have made the Haskell ecosystem what it is today.
>
> As always, do give this release a try and open a [ticket] if you see
> anything amiss.
>
>
> [downloads.haskell.org]: https://downloads.haskell.org/ghc/9.14.1-alpha2
> [release notes]:
> https://downloads.haskell.org/ghc/9.14.1-alpha2/docs/users_guide/9.14.1-n=
otes.html
> [ticket]: https://gitlab.haskell.org/ghc/homepage/-/issues/new
> _______________________________________________
> ghc-devs mailing list -- [email protected]
> To unsubscribe send an email to [email protected]
>

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

<div dir=3D"ltr"><div class=3D"gmail_default" style=3D"font-family:times ne=
w roman,serif;font-size:large">Tahoe , the new MacOS, is out today. Should =
GHC users not upgrade to it? I am concerned about=C2=A0<a href=3D"https://g=
itlab.haskell.org/ghc/ghc/-/issues/26166">https://gitlab.haskell.org/ghc/gh=
c/-/issues/26166</a></div></div><br><div class=3D"gmail_quote gmail_quote_c=
ontainer"><div dir=3D"ltr" class=3D"gmail_attr">On Fri, Sep 12, 2025 at 10:=
26=E2=80=AFAM Ben Gamari &lt;<a href=3D"mailto:[email protected]">ben@well=
-typed.com</a>&gt; wrote:<br></div><blockquote class=3D"gmail_quote" style=
=3D"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.14.1. Binary distributions, source<br>
distributions, and documentation are available at [<a href=3D"http://downlo=
ads.haskell.org" rel=3D"noreferrer" target=3D"_blank">downloads.haskell.org=
</a>].<br>
<br>
GHC 9.14 will bring a number of new features and improvements, including:<b=
r>
<br>
* Significant improvements in specialisation:<br>
<br>
=C2=A0 =C2=A0* The `SPECIALISE` pragma now allows use of type application s=
yntax<br>
<br>
=C2=A0 =C2=A0* The `SPECIALISE` pragma can be used to specialise for expres=
sion arguments<br>
=C2=A0 =C2=A0 =C2=A0as well as type arguments.<br>
<br>
=C2=A0 =C2=A0* Specialisation is now considerably more reliable in the pres=
ence of<br>
=C2=A0 =C2=A0 =C2=A0`newtype`s<br>
<br>
* Significant improvements in the GHCi debugger<br>
<br>
* Record fields can be defined to be non-linear when `LinearTypes` is enabl=
ed.<br>
<br>
* `RequiredTypeArgments` can now be used in more contexts<br>
<br>
* SSE/AVX2 support in the x86 native code generator backend<br>
<br>
* A major update of the Windows toolchain<br>
<br>
* ... and many more<br>
<br>
A full accounting of changes can be found in the [release notes]. Given the=
<br>
many specialisation improvements and their potential for regression, we wou=
ld<br>
very much appreciate testing and performance characterisation on downstream=
<br>
workloads.<br>
<br>
Observant readers of these prerelease announcements will note that polymorp=
hic<br>
specialisation has been dropped from alpha 2. This measure was taken out of=
 an<br>
abundance of caution after finding a miscompilation during testing of alpha=
 1.<br>
While this bug will be fixed in the next alpha, we expect to keep polymorph=
ic<br>
specialisation disabled by default in the final release. Users needing more=
<br>
aggressive specialisation can explicitly enable this feature with the<br>
`-fpolymorphic-specialisation` flag. Depending upon our experience with 9.1=
4.1,<br>
we may enable this feature by default in a later minor release.<br>
<br>
This is the second of three expected alpha prereleases. We expect the next<=
br>
(third) alpha will come 23 Sept. 2025, with the release candidate coming 7 =
Oct.<br>
2025.<br>
<br>
We would like to thank the Zw3rk stake pool, Well-Typed, Mercury, Channable=
,<br>
Tweag I/O, Serokell, SimSpace, the Haskell Foundation, and other anonymous<=
br>
contributors whose on-going financial and in-kind support has facilitated G=
HC<br>
maintenance and release management over the years. Finally, this release wo=
uld<br>
not have been possible without the hundreds of open-source contributors who=
se<br>
work have made the Haskell ecosystem what it is today.<br>
<br>
As always, do give this release a try and open a [ticket] if you see<br>
anything amiss.<br>
<br>
<br>
[<a href=3D"http://downloads.haskell.org" rel=3D"noreferrer" target=3D"_bla=
nk">downloads.haskell.org</a>]: <a href=3D"https://downloads.haskell.org/gh=
c/9.14.1-alpha2" rel=3D"noreferrer" target=3D"_blank">https://downloads.has=
kell.org/ghc/9.14.1-alpha2</a><br>
[release notes]: <a href=3D"https://downloads.haskell.org/ghc/9.14.1-alpha2=
/docs/users_guide/9.14.1-notes.html" rel=3D"noreferrer" target=3D"_blank">h=
ttps://downloads.haskell.org/ghc/9.14.1-alpha2/docs/users_guide/9.14.1-note=
s.html</a><br>
[ticket]: <a href=3D"https://gitlab.haskell.org/ghc/homepage/-/issues/new" =
rel=3D"noreferrer" target=3D"_blank">https://gitlab.haskell.org/ghc/homepag=
e/-/issues/new</a><br>
_______________________________________________<br>
ghc-devs mailing list -- <a href=3D"mailto:[email protected]" target=3D"=
_blank">[email protected]</a><br>
To unsubscribe send an email to <a href=3D"mailto:[email protected]=
g" target=3D"_blank">[email protected]</a><br>
</blockquote></div>

--0000000000008d1a58063edba887--

--===============6910315037181343957==
Content-Type: text/plain; charset="us-ascii"
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
Content-Disposition: inline

_______________________________________________
ghc-devs mailing list -- [email protected]
To unsubscribe send an email to [email protected]

--===============6910315037181343957==--