- Glasgow-haskell-users

[ANNOUNCE] Glasgow Haskell Compiler 9.0.1-rc1 released
by Ben Gamari 26 Jan '21

26 Jan '21

Hello all, The GHC team is very pleased to announce the availability of the first release candidate of GHC 9.0.1 series. Source and binary distributions are available at the usual place: https://downloads.haskell.org/ghc/9.0.1-rc1/ This release candidate comes quite a bit later than expected after difficulty finding a performance neutral fix for a critical soundness bug, #17760. See [1] for details on the solution, particularly if you are a library maintainer currently using the touch# primop or withForeignPtr. Nevertheless, this release has nevertheless seen a considerable amount of testing and consequently we hope that this should be the last pre-release before the final release. In addition to numerous bug fixes, GHC 9.0.1 will bring a number of new features: * A first cut of the new LinearTypes language extension [2], allowing use of linear function syntax and linear record fields. * A new bignum library (ghc-bignum), allowing GHC to be more easily used with integer libraries other than GMP. * Improvements in code generation, resulting in considerable performance improvements in some programs. * Improvements in pattern-match checking, allowing more precise detection of redundant cases and reduced compilation time. * Implementation of the "simplified subsumption" proposal [3] simplifying the type system and paving the way for QuickLook impredicativity in GHC 9.2. * Implementation of the QualifiedDo extension [4], allowing more convenient overloading of `do` syntax. * Improvements in compilation time. And many more. See the release notes [5] for a full accounting of the changes in this release. As always, do test this release and open tickets for whatever issues you encounter. Cheers, - Ben [1] https://gitlab.haskell.org/ghc/ghc/-/wikis/migration/9.0#ghc-prim-07 [2] https://github.com/ghc-proposals/ghc-proposals/blob/master/proposals/0111-l… [3] https://github.com/ghc-proposals/ghc-proposals/blob/master/proposals/0287-s… [4] https://github.com/ghc-proposals/ghc-proposals/blob/master/proposals/0216-q… [5] https://downloads.haskell.org/ghc/9.0.1-rc1/docs/html/users_guide/9.0.1-not…

2 1

Linking only some libraries dynamically
by Volker Wysk 09 Jan '21

09 Jan '21

Hi! When you have to link an specific library dynamically, then all libraries, as well as all parts of the program must be compiled and linked dynamically. Is this correct? Is it possible to link only one library dynamically and the rest statically? Regards, Volker

1 0

Re: [ANNOUNCE] Glasgow Haskell Compiler 8.10.3 released
by Ben Gamari 20 Dec '20

20 Dec '20

Shayne Fletcher <shayne.fletcher.50(a)gmail.com> writes: > On Sat, Dec 19, 2020 at 7:23 PM Ben Gamari <ben(a)well-typed.com> wrote: > >> Hello all, >> >> The GHC team is happy to announce the release of GHC 8.10.3. Source >> and binary distributions are available at the usual place: >> >> https://downloads.haskell.org/ghc/8.10.3/ > > > Thanks! > > There doesn't seem to be a ghc-8.10.3-release tag in > the git@gitlab.haskell.org:ghc/ghc.git repository. Shouldn't there be? > Indeed. Fixed! Cheers, - Ben

1 0

[ANNOUNCE] Glasgow Haskell Compiler 8.10.3 released
by Ben Gamari 20 Dec '20

20 Dec '20

Hello all, The GHC team is happy to announce the release of GHC 8.10.3. Source and binary distributions are available at the usual place: https://downloads.haskell.org/ghc/8.10.3/ GHC 8.10.3 fixes a number of issues in present in GHC 8.10.2 including: * Numerous stability improves on Windows * More robust support for architectures with weak memory ordering guarantees (e.g. modern ARM hardware). * GHC can now split dynamic objects to accomodate macOS' RPATH size limitation when building large projects (#14444) * Several correctness bugs in the new low-latency garbage collector * Many, many other bug-fixes Note that at the moment we still require that macOS Catalina users exempt the binary distribution from the notarization requirement by running `xattr -cr .` on the unpacked tree before running `make install`. This situation will hopefully be improved for GHC 9.0.1 with the resolution of #17418 [1]. Cheers, - Ben [1] https://gitlab.haskell.org/ghc/ghc/issues/17418

1 0

[ANNOUNCE] Glasgow Haskell Compiler 9.0.1-alpha1 released
by Ben Gamari 07 Dec '20

07 Dec '20

Hello all, The GHC team is very pleased to announce the availability of the first alpha release in the GHC 9.0 series. Source and binary distributions are available at the usual place: https://downloads.haskell.org/ghc/9.0.1-alpha1/ This first alpha comes quite a bit later than expected. However, we have done a significant amount of testing on this pre-release and therefore hope to be able to move forward quickly with a release candidate next week and with a final release in mid-October. GHC 9.0.1 will bring a number of new features: * A first cut of the new LinearTypes language extension [1], allowing use of linear function syntax and linear record fields. * A new bignum library (ghc-bignum), allowing GHC to be more easily used with integer libraries other than GMP. * Improvements in code generation, resulting in considerable performance improvements in some programs. * Improvements in pattern-match checking, allowing more precise detection of redundant cases and reduced compilation time. * Implementation of the "simplified subsumption" proposal [2] simplifying the type system and paving the way for QuickLook impredicativity in GHC 9.2. * Implementation of the QualifiedDo extension [3], allowing more convenient overloading of `do` syntax. * Improvements in compilation time. And many more. See the release notes [4] for a full accounting of the changes in this release. Do note that there are a few things that we expect will change before the final release: * We expect to sort out a notarization workflow for Apple Darwin, allowing our binary distributions to be used on macOS Catalina without hassle. Until this has been sorted out Catalina users can exempt the current macOS binary distribution from the notarization requirement themselves by running `xattr -cr .` on the unpacked tree before running `make install`. * We will likely transition the Alpine binary distribution to be fully statically-linked, providing a convenient, distribution-independent packaging option for Linux users. * We will be merging a robust solution for #17760 which will introduce a new primitive, `keepAlive#`, to the `base` library, subsuming most uses of `touch#`. As always, do test this release and open tickets for whatever issues you encounter. To help with this, we will be publishing a blog post describing use of our new `head.hackage` infrastructure to ease testing of larger projects with Hackage dependencies later this week. Cheers, - Ben [1] https://github.com/ghc-proposals/ghc-proposals/blob/master/proposals/0111-l… [2] https://github.com/ghc-proposals/ghc-proposals/blob/master/proposals/0287-s… [3] https://github.com/ghc-proposals/ghc-proposals/blob/master/proposals/0216-q… [4] https://downloads.haskell.org/ghc/9.0.1-alpha1/docs/html/users_guide/9.0.1-…

4 4

Обучение языку, работа с компилятором chg
by Инна Бородина 01 Nov '20

01 Nov '20

Здравствуйте! Я совершенный и полный новичек в любом программировании. Я не могу понять из официальных руководств как установить cabal и зачем нужна эта программа. Я не понимаю как установить на мой ноутбук дистрибутивы. Я сохранила двоичный вариант. Виндос 10. Не понятно как с клавиатуры установить обратные кавычки. В во вставках ограниченной свободной лицензии Офиса их нет. В эмодзи-вставка слишком много типов обратных кавычек. Мне остается только перебор вариантов? Русская буква "ё" на моей клавиатуре дает знак тождества. Возможно, я все время ощибаюсь с раскладкой клавиатуры. Может цифровой код подскажите? Инна Бородина

1 0

Language extension histories
by David Feuer 01 Nov '20

01 Nov '20

I'm working on some code I want to be compatible with multiple GHC versions and I'm trying to figure out which language extensions I can reasonably use. I definitely need usable fancy pattern synonyms (not the bare-bones ones in 7.8). So that should set a lower bound, but I don't remember where. 7.10? 8.0? I'd also *like* to use an injective type family, but I can work around that pretty easily with a data family if necessary. When did PatternSynonyms and TypeFamilyDependencies each become reasonably usable?

3 4

"... causes overflow in R_X86_... relocation"
by Volker Wysk 17 Oct '20

17 Oct '20

Hi. I have a litte program named "svumb", which compiles and links without error or warning message. But when I start it, this happens: build/svumb: Symbol `qtahzmqt5zm0zi7zi0zm4ATcbzzMngNWCbnemaqWUdM_GraphicsziUIziQtahziGeneratedziWidgetsziQMessageBox_setText_closure' causes overflow in R_X86_64_32 relocation (... long list of similar messages ...) build/svumb: Symbol `stg_INTLIKE_closure' causes overflow in R_X86_64_32 relocation build/svumb: error while loading shared libraries: unexpected reloc type 0x0b Do those messages make sense to anyone? What is a "R_X86_64_32 relocation"? What is a "reloc type"? What's happening?? Calling "sudo ldconfig" doesn't help. The program uses the Qtah package, which is a Qt binding for Haskell. It might have something to do with this. It can't be linked statically, because then the following error occurs after starting the compiled and linked program: .../build/svumb: error while loading shared libraries: libqtah.so.0: cannot open shared object file: No such file or directory Compiling it dynamically had worked, but now I have the problem above. Regards, Volker

2 2

Exchange "ar" prefix in ghc build
by Marius Melzer 14 Sep '20

14 Sep '20

Hi, I'm trying to add L4Re as a new OS to GHC and I'm already struggling a bit with the setup. I added l4re to a few places that seem to make sense (in aclocal.m4:296/2165, in config.sub:1371, in compiler/GHC/Platform.hs:132 and in libraries/ghc-boot/GHC/Platform/ArchOS.hs:99/156). Now I wanted to try to build it to see where it fails to continue, but I'm failing on the configure step, I have so far: ./configure --target=aarch64-unknown-l4re CC=aarch64-linux-gnu-gcc Which fails when it looks for ar (with the prefix aarch64-unknown-l4re instead of aarch64-linux-gnu): checking for aarch64-unknown-l4re-ar... no configure: error: cannot find ar in your PATH, no idea how to make a library Can I somehow tell configure to use the aarch64-linux-gnu prefix for ALL tools (nm, ar, gcc, etc.) even though I build for aarch64-unknown-l4re? Or if not, is there a way to set the ar tool in the same way as I did for gcc with CC=...? Thanks in advance, Marius

1 0

Does newByteArray clear?
by David Feuer 27 Aug '20

27 Aug '20

I'm looking to play around with an array-based structure with sub-linear worst-case bounds. Array is pretty awkward in that context because creating a new one takes O(n) time to initialize it. Is that all true of newByteArray, or can I get one with arbitrary garbage in it for cheap?

3 3