!RbXGJhHMsnQcNIDFWN:nixos.org

Haskell in Nixpkgs/NixOS

685 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 infrastructure136 Servers

Load older messages


SenderMessageTime
22 Apr 2025
@maralorn:maralorn.demaralornEspecially anything related to lockfiles is not likely going to help.11:16:54
@maralorn:maralorn.demaralornWhat would help would be a) a cultural strengthening that everyone maintains there packages in stackage and b) ecosystem wide sharing of overrides and patches.11:17:47
@alexfmpe:matrix.orgalexfmpeI still think what nixpkgs does is what stackage should be11:22:35
@alexfmpe:matrix.orgalexfmpeIt's insane to me they don't run test suites11:22:56
@alexfmpe:matrix.orgalexfmpeNor ever patch things 11:23:07
@alexfmpe:matrix.orgalexfmpeI don't want to bump my deps if the DB roundtrip tests fail or some encryption library tests fail11:24:20
@maralorn:maralorn.demaralornI had a cool discussion on zurihac about the fact that there io the concept of hackage overlays. E.g. head.hackage. and it would be awesome if we could maintain our overrides as a hackage overlay which we could import into nixpkgs but als share and maintain together with the rest of the community.11:24:24
@alexfmpe:matrix.orgalexfmpeYeah I agree. I don't see the point of there being stackage overlay, nixpkgs overlay, horizon overlay plus iog and obsidian nix jungles11:25:44
@alexfmpe:matrix.orgalexfmpeWe're all tackling the same problem11:25:53
@alexfmpe:matrix.orgalexfmpeWell stackage isn't an overlay per se11:26:34
@maralorn:maralorn.demaralornProblem is that it is kinda fishy to maintain a community wide patchset which is overriding the package authors. That has a very complicated trust model.11:27:45
@alexfmpe:matrix.orgalexfmpe
In reply to @alexfmpe:matrix.org
Well stackage isn't an overlay per se
But it's not an orthogonal layer we can just be agnostic to. If they have some package deep in the dependency chains that is broke but only the tests expose it, stackage will happily base other package versions around it and then we need to undo a part of that
11:28:47
@alexfmpe:matrix.orgalexfmpe
In reply to @maralorn:maralorn.de
Problem is that it is kinda fishy to maintain a community wide patchset which is overriding the package authors. That has a very complicated trust model.
That's true but
11:29:32
@alexfmpe:matrix.orgalexfmpeHow does anyone but the package authors prevent the need of after the fact fixups?11:30:50
@alexfmpe:matrix.orgalexfmpeWhat I think we can do is be more strict on the whole *nudge upstream when adding overrides*11:31:37
@alexfmpe:matrix.orgalexfmpe
In reply to @alexfmpe:matrix.org
How does anyone but the package authors prevent the need of after the fact fixups?
For instance, both js and wasm backends are unusable without overrides if they depend on splitmix
11:32:38
@maralorn:maralorn.demaralorn
In reply to @alexfmpe:matrix.org
What I think we can do is be more strict on the whole *nudge upstream when adding overrides*
Maybe we can automate this better and do it earlier.
11:32:51
@alexfmpe:matrix.orgalexfmpeOne of them is a PR since 202311:32:57
@malteneuss:matrix.org@malteneuss:matrix.orgThe head.hackage thing was discussed https://discourse.haskell.org/t/language-library-and-compiler-stability-moved-from-ghc-9-6-migration-guide/5745/92?u=malteneuss, but my impression is that it's a crutch, and not a final solution (see SPJ post afterwards).11:33:24
@alexfmpe:matrix.orgalexfmpeMaintainer doesn't want to accept the backend specific stuff because they can't check it in CI11:33:27
@alexfmpe:matrix.orgalexfmpeSo it's a deadend11:33:37
@alexfmpe:matrix.orgalexfmpe
In reply to @maralorn:maralorn.de
Maybe we can automate this better and do it earlier.
Agreed but it's fundamentally just minimizing the surface area of the sketchy trust model
11:34:14
@maralorn:maralorn.demaralorn
In reply to @maralorn:maralorn.de
Maybe we can automate this better and do it earlier.
Most problems we encounter when switching our LTS could have been detected well in advance.
11:34:25
@alexfmpe:matrix.orgalexfmpeIf anything, consolidating efforts with the other overridistans would allow for more eyes to sign iff on the same thing11:35:02
@alexfmpe:matrix.orgalexfmpe* If anything, consolidating efforts with the other overridistans would allow for more eyes to sign off on the same thing11:35:10
@alexfmpe:matrix.orgalexfmpeThat actually relaxes the trust model11:35:18
@maralorn:maralorn.demaralornI am guilty of this myself. I often only fix stuff, when it breaks during a nixpkgs update.11:35:26
@alexfmpe:matrix.orgalexfmpeImagine 3-out-of-5 approvals needed for merges11:35:38
@alexfmpe:matrix.orgalexfmpeA la clc proposal11:35:44
@alexfmpe:matrix.orgalexfmpeAs it is we have 1-out-of-2 being done in half a doze different places11:36:08

Show newer messages


Back to Room ListRoom Version: 6