- Glasgow-haskell-users

Re: Installing GHC on my MacBook Air
by George Colpitts 15 Mar '23

15 Mar '23

cc'ing others On Wed, Mar 15, 2023 at 1:20 PM George Colpitts <george.colpitts(a)gmail.com> wrote: > Thanks Brandon. There were some earlier emails that somehow got dropped > from this. > > I believe we have already solved the wrong architecture issue; this is the > next issue. > > Here is the earlier email: > > I just noticed that you said you installed a binary distribution. If for > example you chose the 9.4.4 distribution at > https://www.haskell.org/ghc/download_ghc_9_4_4.html#macosx_x86_64 you > should choose one of: > > > - ghc-9.4.4-aarch64-apple-darwin.tar.xz > <https://downloads.haskell.org/~ghc/9.4.4/ghc-9.4.4-aarch64-apple-darwin.tar…> (187.0 > MB, sig > <https://downloads.haskell.org/~ghc/9.4.4/ghc-9.4.4-aarch64-apple-darwin.tar…> > ) > - ghc-9.4.4-aarch64-apple-darwin.tar.bz2 > <https://downloads.haskell.org/~ghc/9.4.4/ghc-9.4.4-aarch64-apple-darwin.tar…> (300.0 > MB, sig > <https://downloads.haskell.org/~ghc/9.4.4/ghc-9.4.4-aarch64-apple-darwin.tar…> > ) > > rather than > > > - ghc-9.4.4-x86_64-apple-darwin.tar.xz > <https://downloads.haskell.org/~ghc/9.4.4/ghc-9.4.4-x86_64-apple-darwin.tar.…> (177.9 > MB, sig > <https://downloads.haskell.org/~ghc/9.4.4/ghc-9.4.4-x86_64-apple-darwin.tar.…> > ) > - ghc-9.4.4-x86_64-apple-darwin.tar.bz2 > <https://downloads.haskell.org/~ghc/9.4.4/ghc-9.4.4-x86_64-apple-darwin.tar.…> (281.9 > MB, sig > <https://downloads.haskell.org/~ghc/9.4.4/ghc-9.4.4-x86_64-apple-darwin.tar.…> > ) > > > On Wed, Mar 15, 2023 at 1:10 PM Brandon Allbery <allbery.b(a)gmail.com> > wrote: > >> That seems unlikely; it would report a permission error in that case, >> not that it had the wrong architecture. >> >> On Wed, Mar 15, 2023 at 12:04 PM George Colpitts >> <george.colpitts(a)gmail.com> wrote: >> > >> > Hi Bill >> > >> > I'm cc'ing GHC dev and GHC users as someone else may have a better >> answer, catch a mistake I made etc. Please don't delete them. >> > >> > I believe you have encountered >> https://gitlab.haskell.org/ghc/ghc/-/issues/21506#note_447206 >> > >> > I believe the way to fix this is to do the following: >> > >> > rm -fr /usr/local/bin/ghc* >> > rm -fr /usr/local/lib/ghc* >> > ./configure >> > sudo xattr -rc . >> > sudo make install >> > >> > >> > However I am unsure why you are encountering this as the issue is >> supposed to have been fixed. >> > >> > Cheers >> > George >> > >> > >> > >> > >> > >> > On Wed, Mar 15, 2023 at 11:21 AM William McEnaney < >> bill.mcenaney.jr(a)gmail.com> wrote: >> >> >> >> Hi, George, >> >> >> >> I got this message when I ran make install with the sudo command. What >> should I do? >> >> >> >> libHSterminfo-0.4.1.5-ghc9.4.4.dylib” can’t be opened because Apple >> cannot check it for malicious software. >> >> >> >> >> >> What should I do now? >> >> >> >> >> >> Thanks. >> >> >> >> >> >> Bill >> >> >> >> >> >> >> >> >> >> On Wed, Mar 15, 2023 at 9:29 AM William McEnaney < >> bill.mcenaney.jr(a)gmail.com> wrote: >> >>> >> >>> Hi George, >> >>> >> >>> Thank you for your reply. I forget what I did to install it. But the >> compiler and other ghc-related programs live in /usr/local/bin. Since I >> installed the wrong binaries, I changed the directory to /usr/local/bin and >> tried to empty that directory with rm -rf ghc*.*, but that didn't delete >> anything. So I wonder whether I'll need to remove those programs before >> reinstalling ghc. >> >>> >> >>> Thanks for your help, too. >> >>> >> >>> Best, >> >>> Bill >> >>> >> >>> On Wed, Mar 15, 2023 at 7:59 AM George Colpitts < >> george.colpitts(a)gmail.com> wrote: >> >>>> >> >>>> Hi Bill >> >>>> >> >>>> Yes,GHC will run on your new MacBook Air. The cpu in that is Apple >> Silicon , the aarch64-apple-darwin platform. Older Macs run on Intel chips, >> the x86_64-apple-darwin platform. >> >>>> >> >>>> I'm not sure how you installed the compiler. I believe the standard >> way is described on https://www.haskell.org/ghcup/. Can you tell us how >> you installed it? >> >>>> >> >>>> Thanks >> >>>> George >> >>>> >> >>>> On Wed, Mar 15, 2023 at 8:22 AM Simon Peyton Jones < >> simon.peytonjones(a)gmail.com> wrote: >> >>>>> >> >>>>> Redirecting this query to ghc-devs. Can anyone help William? >> Thanks! >> >>>>> >> >>>>>> Will GHC run on my new MacBook Air? After installing the compiler, >> my laptop said its processor was wrong for the binary distribution I chose. >> If there is a dmg file for MacOS 12.5.1, please please link your reply to >> it. >> >>>>> >> >>>>> >> >>>>> Simon >> >>>>> >> >>>>> On Tue, 14 Mar 2023 at 23:33, William McEnaney < >> bill.mcenaney.jr(a)gmail.com> wrote: >> >>>>>> >> >>>>>> Dear Dr. Jones, >> >>>>>> >> >>>>>> Will GHC run on my new MacBook Air? After installing the compiler, >> my laptop said its processor was wrong for the binary distribution I chose. >> If there is a dmg file for MacOS 12.5.1, please please link your reply to >> it. >> >>>>>> >> >>>>>> Thanks for your help. >> >>>>>> >> >>>>>> Best, >> >>>>>> Bill >> >>>>> >> >>>>> _______________________________________________ >> >>>>> ghc-devs mailing list >> >>>>> ghc-devs(a)haskell.org >> >>>>> http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs >> > >> > _______________________________________________ >> > ghc-devs mailing list >> > ghc-devs(a)haskell.org >> > http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs >> >> >> >> -- >> brandon s allbery kf8nh >> allbery.b(a)gmail.com >> >

1 0

Understanding how warnings on unused functions work
by Raghu Ranganathan 14 Mar '23

14 Mar '23

This is related to a feature in the futhark compiler <https://github.com/diku-dk/futhark/issues/550>, which is a language with a similar module system. I am trying to create a tool to detect unused top-level functions in Futhark, and I have been looking in the ghc codebase to find out how it does so. So far I have found these areas: 1. warning flag <https://gitlab.haskell.org/ghc/ghc/-/blob/master/compiler/GHC/Driver/Flags.…> 2. WarnUnusedTopBinds <https://gitlab.haskell.org/ghc/ghc/-/blob/master/compiler/GHC/Rename/Utils.…> The project is a bit too big for my machine to take, so HLS is not helping me with finding where the computation of unused bindings (specifically functions) is done. I would like some help with finding where ghc does this computation, and maybe some help with the naming conventions of the code. Thanks in advance.

1 0

data families/newtype instances allow `DatatypeContext`s ?
by Anthony Clayden 13 Mar '23

13 Mar '23

https://discourse.haskell.org/t/choosing-data-representation-based-on-type/… A `DatatypeContext` on a `newtype instance` gets the usual warning it's deprecated. But the decl is accepted -- at GHC 8.10. (It doesn't achieve what the O.P. was asking for -- but then I wouldn't expect it to.) Is this behaviour deliberate, or more of an accident? I'm surprised such a modern feature (datatype families) tolerates such an old/deprecated feature. I suppose this means the two features are orthogonal -- which is kinda a Good Thing (wrt some continuing discussions). AntC

1 0

[ANNOUNCE] GHC 9.6.1-rc1 is now available
by Ben Gamari 03 Mar '23

03 Mar '23

The GHC team is very pleased to announce the availability of the first (and likely final) release candidate of GHC 9.6.1. As usual, binaries and source distributions are available at [downloads.haskell.org](https://downloads.haskell.org/ghc/9.6.1-rc1/). Beginning with GHC 9.6.1, GHC can be built as a cross-compiler to WebAssembly and JavaScript. This is an important step towards robust support for compiling Haskell to the Web, but there are a few caveats to be aware of in the 9.6 series: - Both the Javascript and WebAssembly backends are still at an early stage of development and are present in this release as a technology preview - Using GHC as a cross-compiler is not as easy as we would like it to be; in particular, there are challenges related to Template Haskell - GHC is not yet run-time retargetable; a given GHC binary targets exactly one platform, and both WebAssembly and JavaScript are considered platforms for this purpose. Cross-compilers must be built from source by their users We hope to lift all of these limitations in future releases. Additionally, 9.6.1 will include: - Significant latency improvements in the non-moving garbage collector - Efficient runtime support for delimited continuations - Improvements in compiler error messages - Numerous improvements in the compiler's memory usage See the [release notes][] for a comprehensive accounting of changes in this release. As always, one can find a migration guide to aid in transitioning from older releases on the [GHC Wiki][migration-guide]. We have also recently started extending our release process to cover a wider set of Linux distributions. In particular, we now offer Rocky 8 and Ubuntu 20.04 binary distributions which cover RedHat-derivative and distributions using older `glibc` releases (namely 2.27), respectively. Please do give this release a try and open a [ticket][] if you see anything amiss. If all goes well we expect the final release should be available by late next week. Happy Haskelling, ~ Ben [ticket]: https://gitlab.haskell.org/ghc/ghc/issues/ [migration-guide]: https://gitlab.haskell.org/ghc/ghc/-/wikis/migration/9.6 [release notes]: https://downloads.haskell.org/ghc/9.6.1-rc1/docs/users_guide/9.6.1-notes.ht…

1 0

[Haskell] [ANNOUNCE] GHC 9.2.7 released
by Zubin Duggal 27 Feb '23

27 Feb '23

The GHC developers are happy to announce the availability of GHC 9.2.7. Binary distributions, source distributions, and documentation are available at [downloads.haskell.org](https://downloads.haskell.org/ghc/9.2.7). Download Page: https://www.haskell.org/ghc/download_ghc_9_2_7.html Blog Post: https://www.haskell.org/ghc/blog/20230227-ghc-9.2.7-released.html This release is primarily a bugfix release addressing a few issues found in 9.2.6. These include: * A fix for a bug with the RTS linker being unable to resolve the `setKeepCafs` symbol which started being used by the GHC library in 9.2.6, resulting in code depending on this symbol failing to load in GHCi or via a compile time splice when using a statically linked GHC, such as on Windows (#22961). * A fix a bug with the alignment of RTS data structures that could result in segfaults when compiled with high optimisation settings on certain platforms (#22975 , #22965). * A fix for a bug in the simplifier related to placeholder values (rubbish literals) emitted by the worker/wrapper optimisation leading to -dcore-lint errors and compiler panics in certain cases (#19882, #22914, #23000). * Easier installation of binary distribution on MacOS platforms by changing the installation Makefile to remove the quarantine attribute when installing. * ... and a few more. See the [release notes] for a full accounting. As some of the fixed issues do affect correctness users are encouraged to upgrade promptly. We would like to thank Microsoft Azure, GitHub, IOG, the Zw3rk stake pool, Well-Typed, Tweag I/O, Serokell, Equinix, SimSpace, 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, - Zubin [ticket]: https://gitlab.haskell.org/ghc/ghc/-/issues/new [release notes]: https://downloads.haskell.org/~ghc/9.2.7/docs/html/users_guide/9.2.7-notes.…

1 0

[ANNOUNCE] GHC 9.6.1-alpha3 is now available
by Ben Gamari 16 Feb '23

16 Feb '23

The GHC team is very pleased to announce the availability of GHC 9.6.1-alpha3. As usual, binaries and source distributions are available at downloads.haskell.org: https://downloads.haskell.org/ghc/9.6.1-alpha3/ Beginning with GHC 9.6.1, GHC can be built as a cross-compiler to WebAssembly and JavaScript. This is an important step towards robust support for compiling Haskell to the Web, but there are a few caveats to be aware of in the 9.6 series: - Both the Javascript and WebAssembly backends are still at an early stage of development and are present in this release as a technology preview - Using GHC as a cross-compiler is not as easy as we would like it to be; in particular, there are challenges related to Template Haskell - GHC is not yet run-time retargetable; a given GHC binary targets exactly one platform, and both WebAssembly and JavaScript are considered platforms for this purpose. Cross-compilers must be built from source by their users We hope to lift all of these limitations in future releases. Additionally, 9.6.1 will include: - Significant latency improvements in the non-moving garbage collector - Efficient runtime support for delimited continuations - Improvements in compiler error messages - Numerous improvements in the compiler's memory usage See the [release notes] for a comprehensive accounting of changes in this release. As always, one can find a [migration guide] to aid in transitioning from older releases on the GHC Wiki. We have also recently started extending our release process to cover a wider set of Linux distributions. In particular, we now offer Rocky 8 and Ubuntu 20.04 binary distributions which cover RedHat-derivative and distributions using older `glibc` releases (namely 2.27), respectively. Please do give this release a try and open a [ticket] if you see anything amiss. Cheers, - Ben [ticket]: https://gitlab.haskell.org/ghc/ghc/issues/ [migration guide]: https://gitlab.haskell.org/ghc/ghc/-/wikis/migration/9.6 [release notes]: https://downloads.haskell.org/ghc/9.6.1-alpha3/docs/users_guide/9.6.1-notes…

2 5

[Haskell] [ANNOUNCE] GHC 9.2.6 released
by Zubin Duggal 10 Feb '23

10 Feb '23

The GHC developers are happy to announce the availability of GHC 9.2.6. Binary distributions, source distributions, and documentation are available at [downloads.haskell.org](https://downloads.haskell.org/ghc/9.2.6). Download Page: https://www.haskell.org/ghc/download_ghc_9_2_6.html Blog Post: https://www.haskell.org/ghc/blog/20230210-ghc-9.2.6-released.html This release is primarily a bugfix release addressing a few issues found in 9.2.5. These include: * Fixes for a number of simplifier issues typically resulting in compiler panics (#22491, #22482, #19824, #22718, #22662, #22039). * Fix for a simplifier regression in 9.2.5 that could impact runtime performance when compiling with optimisations due to duplication of expensive work (#22425). * Various stability improvments and bug fixes for the non moving and parallel GCs (#22528, #20221, #22264, #22327, #22929, #22927, #22929, #22930). * Allow certain keywords which can be used as variable names with `-XOverloadedRecordDot` (#20723). * Improvements to typechecker performance for modules with holes in type signatures (#14766) * Bump `gmp-tarballs` to a version which doesn't use the reserved `x18` register on AArch64/Darwin systems, and also has fixes for CVE-2021-43618 (#22497, #22789). * ... and a few more. See the [release notes] for a full accounting. As some of the fixed issues do affect correctness users are encouraged to upgrade promptly. We would like to thank Microsoft Azure, GitHub, IOG, the Zw3rk stake pool, Well-Typed, Tweag I/O, Serokell, Equinix, SimSpace, 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, - Zubin [ticket]: https://gitlab.haskell.org/ghc/ghc/-/issues/new [release notes]: https://downloads.haskell.org/~ghc/9.2.6/docs/html/users_guide/9.2.6-notes.…

1 0

[ANNOUNCE] GHC 9.6.1-alpha2 is now available
by Ben Gamari 30 Jan '23

30 Jan '23

The GHC team is very pleased to announce the availability of GHC 9.6.1-alpha2. As usual, binaries and source distributions are available at downloads.haskell.org: https://downloads.haskell.org/ghc/9.6.1-alpha2/ Beginning with GHC 9.6.1, GHC can be built as a cross-compiler to WebAssembly and JavaScript. This is an important step towards robust support for compiling Haskell to the Web, but there are a few caveats to be aware of in the 9.6 series: - Both the Javascript and WebAssembly backends are still at an early stage of development and are present in this release as a technology preview - Using GHC as a cross-compiler is not as easy as we would like it to be; in particular, there are challenges related to Template Haskell. - GHC is not yet run-time retargetable; a given GHC binary targets exactly one platform, and both WebAssembly and JavaScript are considered platforms for this purpose. Cross-compilers must be built from source by their users We hope to lift all of these limitations in future releases. Additionally, 9.6.1 will include: - Significant latency improvements in the non-moving garbage collector - Efficient runtime support for delimited continuations - Improvements in compiler error messages - Numerous improvements in the compiler's memory usage See the [release notes] for a comprehensive accounting of changes in this release. As always, one can find a [migration guide] to aid in transitioning from older releases on the GHC Wiki. We have also recently started extending our release process to cover a wider set of Linux distributions. In particular, we now offer Rocky 8 and Ubuntu 20.04 binary distributions which cover RedHat-derivative and distributions using older `glibc` releases (namely 2.27), respectively. Please do give this release a try and open a [ticket] if you see anything amiss. Cheers, - Ben [ticket]: https://gitlab.haskell.org/ghc/ghc/issues/ [migration-guide]: https://gitlab.haskell.org/ghc/ghc/-/wikis/migration/9.6 [release notes]: https://downloads.haskell.org/ghc/9.6.1-alpha2/docs/users_guide/9.6.1-notes…

1 0

How to fool the divergence checker in ghc 9
by Michael Sperber 20 Jan '23

20 Jan '23

I'm trying to port Conal Elliott's ConCat plugin from ghc 8 to 9, and the divergence checker foils me. Background: The plugin works by transforming calls to a pseudo-function toCcc' defined like so: -- | Pseudo function to trigger rewriting to TOCCC form. toCcc' :: forall k a b. (a -> b) -> (a `k` b) toCcc' _ = oops "toCcc' called" {-# NOINLINE toCcc' #-} For ghc 8, oops was defined like so: module ConCat.Misc where -- | Pseudo function to fool GHC's divergence checker. oops :: String -> b oops str = errorWithStackTrace ("Oops: "++str) {-# NOINLINE oops #-} ... but unfortunately, ghc 9 is not so easily fooled and reports <A>x for toCcc'. Is there any way to prevent this that works for ghc 9? Help would be much appreciated! -- Regards, Mike

2 5

[ANNOUNCE] GHC 9.6.1-alpha1 is now available
by Ben Gamari 16 Jan '23

16 Jan '23

The GHC team is very pleased to announce the availability of GHC 9.6.1-alpha1. As usual, binaries and source distributions are available at downloads.haskell.org: https://downloads.haskell.org/ghc/9.6.1-alpha1/ This is the first alpha release in the 9.6 series which will bring a number of exciting features: * A new Javascript code generation backend * A new WebAssembly code generation backend, * Significant latency improvements in the non-moving garbage collector * Support for loading of multiple components in GHCi * Efficient support for delimited continuations * Improvements in error messages * Numerous improvements in compiler-residency Note that both the Javascript and WebAssembly backends are still in a state of infancy and are present in this release as a technology preview; we hope that they will mature considerably before the final 9.6.1 release. Please give this release a try and open a [ticket] if you see anything amiss. Cheers, - Ben [ticket]: https://gitlab.haskell.org/ghc/ghc/issues/

2 4