Haskell in Nixpkgs/NixOS | 710 Members | |
| For discussions and questions about Haskell with Nix, cabal2nix and haskellPackages in nixpkgs | Current Docs: https://haskell4nix.readthedocs.io/ | 140 Servers |
| Sender | Message | Time |
|---|---|---|
| 14 Aug 2025 | ||
| are you saying I should use "default-package-overrides" instead of "extra-packages" for a package outside of LTS? (I'm sorry for being slow!) | 15:46:38 | |
| modulo the extension
| 15:53:55 | |
| I'll have to get back to this. In the meantime, I'm submit a PR unbreaking liquid-fixpoint at least: https://github.com/NixOS/nixpkgs/pull/433722 let me know if it's horribly formatted and against the guidelines... | 16:10:30 | |
| Looks like it's under "grandfathered dependencies", so probably needs a new champion . https://github.com/commercialhaskell/stackage/blob/master/build-constraints.yaml#L5657 | 16:10:43 | |
Artem: may be https://github.com/NixOS/nixpkgs/issues/400784, try running with --fast | 16:34:07 | |
| Yes | 17:09:10 | |
| Ah, oops. | 17:09:24 | |
--fast did fix it | 19:41:32 | |
| regenerate-hackage-packages.sh seems to reformat the whole hackage-packages.nix. Am I doing something wrong? | 19:53:28 | |
| Depends on the diff?^^ | 19:54:43 | |
| Possibly you have the wrong nixfmt in scope? Not sure. | 19:55:10 | |
| Yeah, nixfmt seems to be picked up from your environment. | 19:56:35 | |
| Easiest fix is probably loading loading the shell.nix. | 19:57:31 | |
| maralorn: which shell.nix? | 20:01:55 | |
| oh, maybe the root of nixpkgs, let me try it | 20:03:08 | |
| that did the trick, thanks! | 20:14:24 | |
| chreekat: what is "grandfathered depedndencies" exactly? MAINTAINERS.md doesn't explain (other than saying you move there packages that you no longer maintain) | 20:24:18 | |
| 15 Aug 2025 | ||
| I think it's unmaintained (from Stackage perspective) dependencies of actively maintained packages. At one time they were included implicitly, and at some point they were made explicit. I'm not confident about that, however. | 04:44:22 | |
| makes sense, thank you | 05:22:59 | |
| 18 Aug 2025 | ||
| how good is the Haskell builder with custom setups? I'm getting a pretty basic error when a custom setup uses a function from another package, and that package is listed in the cabal file's custom-setup:setup-depends, but when I'm building it with Nix, I'm getting "module not found" on the import-line in Setup.hs for an import from that other package. That's liquidhaskell, by the way. The import line is here: https://github.com/ucsd-progsys/liquidhaskell/blob/6baa675f6bb000d016f0c859d7f865263679dc43/Setup.hs#L3 and it comes from the liquidhaskell-boot package. I am building it on top of my branch from https://github.com/NixOS/nixpkgs/pull/433722: I just enabled liquidhaskell and liquidhaskell-boot on top of the packages that are enabled in that PR. This should be the entirety of the dependency tree of liquidhaskell... | 17:25:51 | |
| * how good is the Haskell builder with custom setups? I'm getting a pretty basic error when a custom setup uses a function from another package, and that package is listed in the cabal file's custom-setup:setup-depends, but when I'm building it with Nix, I'm getting "module not found" on the import-line in Setup.hs for an import from that other package. That's liquidhaskell, by the way. The import line is here: https://github.com/ucsd-progsys/liquidhaskell/blob/6baa675f6bb000d016f0c859d7f865263679dc43/Setup.hs#L3 and it comes from the liquidhaskell-boot package. I am building it on top of my branch from https://github.com/NixOS/nixpkgs/pull/433722 (with nix-build -A haskellPackages.liquidhaskell): I just enabled liquidhaskell and liquidhaskell-boot on top of the packages that are enabled in that PR. This should be the entirety of the dependency tree of liquidhaskell... | 17:26:48 | |
| * how good is the Haskell builder with custom setups? I'm getting a pretty basic error when a custom setup uses a function from another package, and that package is listed in the cabal file's custom-setup:setup-depends, but when I'm building it with Nix, I'm getting "module not found" on the import-line in Setup.hs for an import from that other package. That's liquidhaskell, by the way. The import line is here: https://github.com/ucsd-progsys/liquidhaskell/blob/6baa675f6bb000d016f0c859d7f865263679dc43/Setup.hs#L3 and it comes from the liquidhaskell-boot package. I am building it on top of my branch from https://github.com/NixOS/nixpkgs/pull/433722 (with nix-build -A haskellPackages.liquidhaskell): I just enabled liquidhaskell and liquidhaskell-boot on top of the packages that are enabled in that PR. This should be the entirety of the dependency tree of liquidhaskell... | 17:26:55 | |
| this issue (https://github.com/NixOS/nixpkgs/issues/16998) on non-Haskell setup dependencies implies that Haskell setup dependencies should work just fine. So, it's me who is at fault, clearly! | 17:31:46 | |
| I put the whole output in the thread below if it helps | 18:39:49 | |
| 18:39:58 | |
| 18:40:18 | |
| 19 Aug 2025 | ||
In reply to @artem.types:matrix.orgI've previously gotten it to work without doing anything special. I have no idea what's wrong with your case. | 00:51:40 | |
| Does haskell.nix internally generate plan.json and use it? Or it just uses pre-built package sets. | 06:18:16 | |
| bglgwyng: haskell.nix uses plan.json (at least that’s one of the available modes) | 06:53:04 | |
FTW: I made this typo again: liquidhaskell-boot = doJailbreak super.smtlib-backends-tests; and that's why liquidhaskell couldn't find a module in liquidhaskell-boot... | 14:09:50 | |