!RbXGJhHMsnQcNIDFWN:nixos.org

Haskell in Nixpkgs/NixOS

684 Members
For discussions and questions about Haskell with Nix, cabal2nix and haskellPackages in nixpkgs | Current Docs: https://nixos.org/manual/nixpkgs/unstable/#haskell | Current PR: https://github.com/nixos/nixpkgs/pulls?q=is%3Apr+is%3Aopen+head%3Ahaskell-updates | Maintainer Docs: https://github.com/NixOS/nixpkgs/blob/haskell-updates/pkgs/development/haskell-modules/HACKING.md | More Nix: #community:nixos.org | More Haskell: #haskell-space:matrix.org | Merger Schedule: https://cloud.maralorn.de/apps/calendar/p/H6migHmKX7xHoTFa/dayGridMonth/now | Join #haskell.nix:libera.chat for question about the alternative haskell.nix infrastructure135 Servers

Load older messages


SenderMessageTime
9 Feb 2025
@rosscomputerguy:matrix.orgTristan RossPlus we've been discussing this for like a year but haven't really done much. LLVM 12 has been EOL for 4 years as well.21:56:09
10 Feb 2025
@me:linj.techlinj
In reply to @rosscomputerguy:matrix.org
We're the only distro with LLVM 12
guix has 12 and many older ones such as 3.5.2. Not saying that is better, though. https://packages.guix.gnu.org/search/?query=llvm
01:51:41
@me:linj.techlinjthere are many other distros like guix https://repology.org/project/llvm/versions01:54:33
@rosscomputerguy:matrix.orgTristan Ross
In reply to @me:linj.tech
guix has 12 and many older ones such as 3.5.2. Not saying that is better, though. https://packages.guix.gnu.org/search/?query=llvm
Oh, I didn't know that.
01:59:50
@rosscomputerguy:matrix.orgTristan Ross
In reply to @me:linj.tech
there are many other distros like guix https://repology.org/project/llvm/versions
There's literally hundreds of distro's but if we're able to, I don't see the reason to not drop it. How many potential security issues are there in older LLVM versions which have been patched?
02:01:02
@emilazy:matrix.orgemily I think @maralorn:maralorn.de's survey would give useful data here 05:43:13
@emilazy:matrix.orgemily(but also given LLVM bitcode compatibility guarantees I still see no reason we couldn't unpin LLVM for older GHCs)05:43:35
@rosscomputerguy:matrix.orgTristan RossYeah, I remember bringing that up or seeing that brought up a few times here since at least August.05:49:57
@maralorn:maralorn.demaralorn
In reply to @emilazy:matrix.org
I think @maralorn:maralorn.de's survey would give useful data here
I am sorry, but I lost steam on that one after my initial push for a deprecation policy got rejected. I know I said I'd do that survey but then certain unforeseen non-computer things happened which absorbed a too much of my spare time.
08:02:21
@sternenseemann:systemli.orgsternilol the github UI is having a complete meltdown, it now claims I force pushed haskell-updates?!14:21:55
@sternenseemann:systemli.orgsterni emily: We don't really need a survey; just look at nixpkgs: LLVM 12 is used by, among other things, GHC versions; those GHC versions are also used e.g. by elm related stuff 14:23:05
@sternenseemann:systemli.orgsterniremoving that is just a lot of churn figuring out whether packages can be upgraded etc. but you have to start from the bottom and work your way upwards14:23:41
@sternenseemann:systemli.orgsterniGHC does generate notoriously weird LLVM bitcode, occasionally running into the limits of llc/optc in strange ways. As a consequence, I don't think it is safe to just assume that older GHC versions will just work with newer LLVM versions, especially since it is hard to gain confidence from our CI since the LLVM backend stuff is not well covered anymore for the affected GHC versions. I'm not willing to bump GHC before we have verified that GHC did not have to make any changes to the backend to accomodate the newer LLVM versions. Unfortunately, I'm busy with other things, but happy to do that at some point.14:26:07
@sternenseemann:systemli.orgsterniI am also open to removing 8.10-9.2, but as things stand there are some major challenges associated with it. I can write up the state of that in more detail on the LLVM removal issue or maybe a separate issue?14:30:02
@emilazy:matrix.orgemily
In reply to @sternenseemann:systemli.org
emily: We don't really need a survey; just look at nixpkgs: LLVM 12 is used by, among other things, GHC versions; those GHC versions are also used e.g. by elm related stuff
I thought the survey was about whether external users still need old GHCs (I got the sense that it's unlikely as the toolchains using the old ghcjs etc. also use old Nixpkgs but that we didn't have hard data)
16:57:36
@emilazy:matrix.orgemilyif it's just about unpinning GHCs in Nixpkgs I can help with that - I surveyed the elm stuff and it looked simple enough16:58:12
@maralorn:maralorn.demaralornThe survey was mainly about convincing sterni that we can drop 8.10-9.2. if he is fine with doing that anyway we don’t need it. 😄16:58:58
@emilazy:matrix.orgemilyI'm also a little unclear on what would be required to get aarch64-darwin bootstrapping without those old GHCs16:59:37
@sternenseemann:systemli.orgsterni emily: downstream use is a consideration that comes after upstream use I'd say… 17:00:14
@emilazy:matrix.orgemilywell, the only reason I didn't work on upstream use is because I understood that downstream use was the sticking point and waiting on a survey...17:01:03
@emilazy:matrix.orgemilyseemed pointless to put effort in if it might not help the LLVM patch backporting burden we keep facing17:01:24
@sternenseemann:systemli.orgsternighcjs is problematic, we'll have to find people that actually use it to give feedback I guess. I guess with coming GHC versions the js backend will become production ready, so it's probably justifiable to drop ghcjs at that point17:01:38
@emilazy:matrix.orgemilyso do we need a survey or not? :)17:01:54
@maralorn:maralorn.demaralorn sterni: I am here. I actually use ghcjs every day. I can tell you that we can drop it. 17:02:15
@emilazy:matrix.orgemilyif there's agreement in principle I'm happy to help with the work, but not if there's just going to be another reason they have to stay on the other side of it.17:02:21
@sternenseemann:systemli.orgsternithat seems like a contradictory sentence…17:02:33
@emilazy:matrix.orgemily sigh 17:03:03
@sternenseemann:systemli.orgsterni emily: we can probably start by talking to Divam or whoever we know else we know at Obsidian. I also suspect that Mercury was using ghcjs at some point, we can probably also ask someone there. 17:03:38
@emilazy:matrix.orgemilylet me know when you guys figure it out17:03:09
@sternenseemann:systemli.orgsternimaybe just asking informally on discourse is easier than a survey?17:04:14

Show newer messages


Back to Room ListRoom Version: 6