- ghc-devs - Haskell.org

Acknowledgement of CI instability
by Sam Derbyshire 05 Aug '24

05 Aug '24

Hi all, The GHC team would like to acknowledge some ongoing CI instabilities in the GHC project: - regular failures of the i386 job, possibly related to the bump to debian 12 <https://gitlab.haskell.org/ghc/ghc/-/commit/203830065b81fe29003c1640a354f11…> (although the job still failed occasionally before this), - flakiness of the MultiLayerModulesDefsGhciReload test causing the fedora33-release job to fail, - lack of availability of darwin runners, causing aarch64-darwin and x86_64-darwin jobs to time out. These issues are currently causing a string of marge batch failures, holding up several MRs. We are currently short on resources for addressing problems with CI, so please bear with us while we sort the situation out. In the meantime, feel free to let us know of any other CI issues that are impacting your work on GHC. Best, Sam

3 2

Zero Multiplicities for Linear Haskell
by Zullo, Joseph Anthony 02 Aug '24

02 Aug '24

Hello GHC developers, I am Joseph Zullo, a PhD student at Purdue University. I am newly subscribed to this mailing list and my approval for GitLab is awaiting approval: my username is jazullo. I may be interested in adding Zero as a multiplicity to Linear Haskell as discussed in the source code notes<https://github.com/ghc/ghc/blob/e258ad546d96fcfffd525f9b51d237cee467ad73/co…>. My current use-case is with Liquid Haskell: I have Liquid Haskell proof terms embedded in linearly typed procedures, but the "ghost" proof terms consume terms nonlinearly even though they have no bearing on the linear style of the procedure (a binary "?" operator is used with terms to the left and proofs to the right). I am looking for any work arounds for this issue, or for any help or interest in adding zero as a multiplicity so that proof terms can be casted as non-consuming. Let me know if there are any proper avenues for this problem and/or proposal. I greatly appreciate any direction or assistance. Joseph

3 2

Haskell Implementors' Workshop - Change of date
by Matthew Pickering 29 Jul '24

29 Jul '24

This year the decision has been taken to combine together Haskell Implementors' Workshop and Haskell Symposium. Therefore the workshop will now take place on the dates September 6/7 (the dates of the Haskell Symposium). Please email me if you have any questions. Cheers, Matt

1 0

questions about head.hackage
by jappie klooster 23 Jul '24

23 Jul '24

Hello everyone, For the stability working group I'm trying to understand how many packages head.hackage allows you to build. Does anyone know the answer to this or have an idea how I can find out? For context, the stability working group is a group of interested people who try and allow ghc and haskell system to innovate, while reducing the amount of friction caused to the wider Haskell community. Current efforts include the marking language proposals as stable, and my work of investigating historic breakage. Investigating this breakage will allow us to make better informed decisions on which pain points to prioritize. -- With regards, Jappie Klooster e: hi(a)jappie.me w: https://jappie.me m: +31644237437

4 4

Gitlab upgrade tomorrow
by Andreas Klebinger 18 Jul '24

18 Jul '24

Hi all, Gitlab will be temporarily unavailable tomorrow around 9:00 AM CEST while it's updated. This should not take long, but a short downtime is expected. Cheers, - Andreas

2 2

Cabal and GHC: the big picture
by Simon Peyton Jones 18 Jul '24

18 Jul '24

Friends You may remember a recent thread on ghc-devs about GHC and Cabal <https://mail.haskell.org/pipermail/ghc-devs/2024-July/021678.html>. In it I say how I feel I lack the "big picture" of how GHC and Cabal interact, and that my mental model is probably faulty. Tom Ellis took pity on me, and together we wrote this big-picture overview about how GHC and Cabal interact <https://docs.google.com/document/d/1mQEpV3fYz1pHi64KTnlv8gifh9ONQ-jytk5sIHq…>. Would you like to: - Read it as a consumer. - Does it tell you stuff that is useful? - What else would you like to know? - What is un-clear or missing? - Read it as an expert. - Is it accurate? - Are any bits misleading? - Do the links go to appropriate places? - What other links or resource would be helpful. It is not intended as a replacement for the GHC user guide, nor the Cabal user guide; rather it is littered with links to those guides which give much fuller details. Rather, it is intended to put you (well, me for one!) in a position where you can more easily make sense of those documents. We'd love to have your help in improving it. Simon

4 8

submodules update warning?
by Brandon Allbery 12 Jul '24

12 Jul '24

I got several of these while updating my local ghc checkout: ``` Fetching submodule libraries/binary remote: error: MIDX does not contain the BTMP chunk remote: warning: unable to load pack: 'pack-1d2d40f15dad726ad220801f9d5bd5b527bc7493.idx', disabling pack-reuse >From https://gitlab.haskell.org/ghc/packages/binary * [new branch] wip/edsko -> origin/wip/edsko ``` Is this something I need to worry about? -- brandon s allbery kf8nh allbery.b(a)gmail.com

1 0

CI stuck?
by Simon Peyton Jones 12 Jul '24

12 Jul '24

Dear GHC devs Is GHC's CI stuck in some way? My !12928 has been scheduled by Marge over 10 times now, and each time the commit has failed. Ten seems... a lot. Thanks Simon

2 1

The reason for non-GHC boot dependencies
by Hécate 11 Jul '24

11 Jul '24

Hi devs, I had a chat earlier today with someone and found myself unable to explain the reason why GHC came with boot dependencies like xhtml, that are dependencies of Haddock and HPC. Obviously, the binaries are (haskell-)dynamically linked when distributed, but what is the reason why haddock, hpc, etc can't be (haskell-)statically linked when distributed? Surely the size of binaries can't be the only concern, otherwise we'd use upx¹ on them when distributing them. Cheers, Hécate 1: https://upx.github.io -- Hécate ✨ 🐦: @TechnoEmpress IRC: Hecate WWW: https://glitchbra.in RUN: BSD

5 8

Cannot build `master`, tries to use GHC 9.2?!
by ÉRDI Gergő 11 Jul '24

11 Jul '24

Hi, I'm trying to build GHC 5b1aefb70edbd54ac899896df39d8f3d6c579518 but I'm running into a weird problem. Using `hadrian/build-stack`, it fails quite early on with: | Run Ghc CompileCWithGhc (Stage0 GlobalLibs): utils/hsc2hs/cbits/utils.c => _build/stageBoot/utils/hsc2hs/build/c/cbits/utils.o Command line: ghc -Wall -hisuf hi -osuf o -hcsuf hc -static -hide-all-packages -no-user-package-db '-package-env -' '-package-db _build/stageBoot/inplace/package.conf.d' '-this-unit-id hsc2hs-0.68.10-inplace' '-this-package-name hsc2hs' '-package-id base-4.16.4.0' '-package-id containers-0.6.5.1' '-package-id directory-1.3.6.2' '-package-id filepath-1.4.2.2' '-package-id process-1.6.16.0' -i -i/home/cactus/prog/haskell/ghc/ghc.master/_build/stageBoot/utils/hsc2hs/build -i/home/cactus/prog/haskell/ghc/ghc.master/_build/stageBoot/utils/hsc2hs/build/hsc2hs/autogen -i/home/cactus/prog/haskell/ghc/ghc.master/utils/hsc2hs/src/ -I_build/stageBoot/utils/hsc2hs/build -I/home/cactus/.ghcup/ghc/9.2.8/lib/ghc-9.2.8/process-1.6.16.0/include -I/home/cactus/.ghcup/ghc/9.2.8/lib/ghc-9.2.8/unix-2.7.2.2/include -I/home/cactus/.ghcup/ghc/9.2.8/lib/ghc-9.2.8/time-1.11.1.1/include -I/home/cactus/.ghcup/ghc/9.2.8/lib/ghc-9.2.8/bytestring-0.11.4.0/include -I/home/cactus/.ghcup/ghc/9.2.8/lib/ghc-9.2.8/base-4.16.4.0/include -I/home/cactus/.ghcup/ghc/9.2.8/lib/ghc-9.2.8/ghc-bignum-1.2/include -I/home/cactus/.ghcup/ghc/9.2.8/lib/ghc-9.2.8/include -optP-include -optP_build/stageBoot/utils/hsc2hs/build/hsc2hs/autogen/cabal_macros.h -optP-DIN_GHC_TREE -outputdir _build/stageBoot/utils/hsc2hs/build -fdiagnostics-color=always -Wall -XHaskell2010 -optc-I_build/stageBoot/utils/hsc2hs/build -optc-I/home/cactus/.ghcup/ghc/9.2.8/lib/ghc-9.2.8/process-1.6.16.0/include -optc-I/home/cactus/.ghcup/ghc/9.2.8/lib/ghc-9.2.8/unix-2.7.2.2/include -optc-I/home/cactus/.ghcup/ghc/9.2.8/lib/ghc-9.2.8/time-1.11.1.1/include -optc-I/home/cactus/.ghcup/ghc/9.2.8/lib/ghc-9.2.8/bytestring-0.11.4.0/include -optc-I/home/cactus/.ghcup/ghc/9.2.8/lib/ghc-9.2.8/base-4.16.4.0/include -optc-I/home/cactus/.ghcup/ghc/9.2.8/lib/ghc-9.2.8/ghc-bignum-1.2/include -optc-I/home/cactus/.ghcup/ghc/9.2.8/lib/ghc-9.2.8/include -optc-Wno-error=inline -c utils/hsc2hs/cbits/utils.c -o _build/stageBoot/utils/hsc2hs/build/c/cbits/utils.o -O -H32m ===> Command failed with error code: 1 ghc: unrecognised flag: -this-package-name hsc2hs I don't know where all those references to GHC 9.2.8 come from. I've run `configure` with GHC 9.10.1 on the $PATH and it correctly reports it as the bootstrapping version: Bootstrapping using : ghc which is version : 9.10.1 What am I doing wrong? Gergo

1 2