From ben at well-typed.com Wed Sep 20 04:54:14 2023 From: ben at well-typed.com (Ben Gamari) Date: Wed, 20 Sep 2023 00:54:14 -0400 Subject: [ANNOUNCE] GHC 9.8.1-alpha4 is now available Message-ID: <87sf79o362.fsf@smart-cactus.org> 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/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/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-notes.html -------------- next part -------------- A non-text attachment was scrubbed... Name: signature.asc Type: application/pgp-signature Size: 487 bytes Desc: not available URL: From george.colpitts at gmail.com Fri Sep 22 22:34:54 2023 From: george.colpitts at gmail.com (George Colpitts) Date: Fri, 22 Sep 2023 19:34:54 -0300 Subject: [Haskell-cafe] [ANNOUNCE] GHC 9.8.1-alpha4 is now available In-Reply-To: <87sf79o362.fsf@smart-cactus.org> References: <87sf79o362.fsf@smart-cactus.org> Message-ID: - #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 to have a test for this. - On Wed, Sep 20, 2023 at 1:54 AM Ben Gamari wrote: > > 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/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/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-notes.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. -------------- next part -------------- An HTML attachment was scrubbed... URL: From george.colpitts at gmail.com Fri Sep 22 23:22:14 2023 From: george.colpitts at gmail.com (George Colpitts) Date: Fri, 22 Sep 2023 20:22:14 -0300 Subject: [Haskell-cafe] [ANNOUNCE] GHC 9.8.1-alpha4 is now available In-Reply-To: References: <87sf79o362.fsf@smart-cactus.org> Message-ID: It seems unlikely that the current tests wouldn't find this bug. Is it the case that the tests are never run on aarch64-darwin Macs? On Fri, Sep 22, 2023 at 7:34 PM George Colpitts wrote: > > - > #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 to have a test for this. > > - > > > > On Wed, Sep 20, 2023 at 1:54 AM Ben Gamari wrote: > >> >> 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/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/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-notes.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. > > -------------- next part -------------- An HTML attachment was scrubbed... URL: From ben at well-typed.com Sat Sep 23 00:33:58 2023 From: ben at well-typed.com (Ben Gamari) Date: Fri, 22 Sep 2023 20:33:58 -0400 Subject: [Haskell-cafe] [ANNOUNCE] GHC 9.8.1-alpha4 is now available In-Reply-To: References: <87sf79o362.fsf@smart-cactus.org> Message-ID: <87wmwhn2xa.fsf@smart-cactus.org> George Colpitts writes: > It seems unlikely that the current tests wouldn't find this bug. Is it the > case that the tests are never run on aarch64-darwin Macs? > The tests are certainly run; see, for instance, the 9.8.1-alpha4 release pipeline [1]. The problem is that #21570 requires very particular (mis)configuration of the host toolchain (e.g. Richard had multiple, incompatible toolchains in PATH). We can usually side-step this sort of misconfiguration by disabling the `configure` script's ld-override logic, since we using anything but Apple's linker is generally a bad idea on Darwin. This measure (!8437) is present in the 9.8 branch so I can only guess that something else is wrong. Perhaps you could open a ticket and attach config.log? Cheers, - Ben [1]: https://gitlab.haskell.org/ghc/ghc/-/jobs/1668689 -------------- next part -------------- A non-text attachment was scrubbed... Name: signature.asc Type: application/pgp-signature Size: 487 bytes Desc: not available URL: From carter.schonwald at gmail.com Sat Sep 23 17:06:15 2023 From: carter.schonwald at gmail.com (Carter Schonwald) Date: Sat, 23 Sep 2023 13:06:15 -0400 Subject: [Haskell-cafe] [ANNOUNCE] GHC 9.8.1-alpha4 is now available In-Reply-To: <87wmwhn2xa.fsf@smart-cactus.org> References: <87sf79o362.fsf@smart-cactus.org> <87wmwhn2xa.fsf@smart-cactus.org> Message-ID: George can you share the generated settings file? On Fri, Sep 22, 2023 at 8:34 PM Ben Gamari wrote: > George Colpitts writes: > > > It seems unlikely that the current tests wouldn't find this bug. Is it > the > > case that the tests are never run on aarch64-darwin Macs? > > > The tests are certainly run; see, for instance, the 9.8.1-alpha4 release > pipeline [1]. > > The problem is that #21570 requires very particular (mis)configuration > of the host toolchain (e.g. Richard had multiple, incompatible > toolchains in PATH). We can usually side-step this sort of > misconfiguration by disabling the `configure` script's ld-override > logic, since we using anything but Apple's linker is generally a bad > idea on Darwin. This measure (!8437) is present in the 9.8 branch so I can > only > guess that something else is wrong. > > Perhaps you could open a ticket and attach config.log? > > Cheers, > > - Ben > > > [1]: https://gitlab.haskell.org/ghc/ghc/-/jobs/1668689 > _______________________________________________ > 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. -------------- next part -------------- An HTML attachment was scrubbed... URL: From ben at well-typed.com Wed Sep 27 23:04:50 2023 From: ben at well-typed.com (Ben Gamari) Date: Wed, 27 Sep 2023 19:04:50 -0400 Subject: GHC 9.8.1-rc1 delayed Message-ID: <87msx7kyk1.fsf@smart-cactus.org> Hi all, Due to a rather late-breaking boot library mix-up I will need to delay the 9.8.1 release candidate by at least two days. I will provide a more specific timeline tomorrow when there is more clarity on what needs to happen to resolve the situation. Cheers, - Ben -------------- next part -------------- A non-text attachment was scrubbed... Name: signature.asc Type: application/pgp-signature Size: 487 bytes Desc: not available URL: From ben at well-typed.com Fri Sep 29 16:20:35 2023 From: ben at well-typed.com (Ben Gamari) Date: Fri, 29 Sep 2023 12:20:35 -0400 Subject: GHC 9.8.1-rc1 delayed In-Reply-To: <87msx7kyk1.fsf@smart-cactus.org> References: <87msx7kyk1.fsf@smart-cactus.org> Message-ID: <87y1gpj6ia.fsf@smart-cactus.org> Ben Gamari writes: > Hi all, > > Due to a rather late-breaking boot library mix-up I will need to delay > the 9.8.1 release candidate by at least two days. I will provide a more > specific timeline tomorrow when there is more clarity on what needs to > happen to resolve the situation. > Hi all, After yet another false-start it is looking like a release will likely be feasible today. Do expect an announcement later within a few hours. Cheers, - Ben -------------- next part -------------- A non-text attachment was scrubbed... Name: signature.asc Type: application/pgp-signature Size: 487 bytes Desc: not available URL: From ben at well-typed.com Fri Sep 29 21:55:37 2023 From: ben at well-typed.com (Ben Gamari) Date: Fri, 29 Sep 2023 17:55:37 -0400 Subject: [ANNOUNCE] GHC 9.8.1-rc1 is now available Message-ID: <87v8bsk5ka.fsf@smart-cactus.org> The GHC developers are very pleased to announce the availability of the release candidate of GHC 9.8.1. Binary distributions, source distributions, and documentation are available at https://downloads.haskell.org/ghc/9.8.1-rc1 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 candidate includes roughly 20 new commits relative to alpha 4, including what we believe should be nearly the last changes to GHC's boot libraries. As always, GHC's release status can be found on the GHC Wiki [status]. 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/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/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-notes.html [status]: https://gitlab.haskell.org/ghc/ghc/-/wikis/GHC-status -------------- next part -------------- A non-text attachment was scrubbed... Name: signature.asc Type: application/pgp-signature Size: 487 bytes Desc: not available URL: