| 14 Aug 2025 |
 sterni (he/him) | export PATH="$PWD/dist/build/fixpoint:$PATH" or similar should work | 10:34:13 |
|  Uraraka ~ Ochaco joined the room. | 11:41:24 |
 Manuel Bärenz | Redacted or Malformed Event | 12:03:39 |
 Artem | oh my, I should have guessed. Thanks all, liquid-fixpoint works now. I'm looking into liquidhaskell now. It currently fails because it fetches the latest version from Hackage (it's not on Stackage), and it's not going to work with GHC from the latest LTS because: (a) it's tightly coupled with the GHC version so much so they usually only support one GHC version at a time, (b) the latest from Hackage will usually support only the latest released GHC.
Question: how do I request a specific version of a package from Hackage to serve as the default haskellPackages version? | 15:09:03 |
| Artem | there must be examples somewhere but I'm not very good at finding the minimal one. I see overrideSrc and overrideCabal but both look a bitt low level | 15:10:01 |
| Artem | I'm guessing the versions are specified in configuration-hackage2nix/main.yml | 15:23:38 |
| Artem | it says "# This is a list of packages with versions from the latest Stackage LTS release." sadly, it doesn't explicitly say if I can add packages outside of LTS in there | 15:24:56 |
| Artem | but the name of its "extra-packages" field suggested that it's the right place | 15:25:47 |
 maralorn | There is stackage.yaml file, which is auto generated. | 15:25:57 |
| Artem | I don't need that one for adding a non-stackage package, right? | 15:26:50 |
| maralorn | Yeah. | 15:27:18 |
| maralorn | Then there is extra-packages which gives additional versioned attributes. | 15:28:14 |
| Artem | my slight worry about configuration-hackage2nix/main.yml#extra-packages is that every package on that list has a comment saying why it's there, and it's very specific. This makes me question that it's the right place. Unless I'm expected to say "# it's a cool package not on Stakage, but I want it in nixpkgs"... | 15:28:24 |
| maralorn | And default-package-overrides which modifies which version the default attribute has. | 15:29:17 |
| Artem | but adding a package not from Stackage is shouldn't overide anything, so this field isn't applicable, right? | 15:31:41 |
| Artem | * but adding a package not from Stackage shouldn't overide anything, so this field isn't applicable, right? | 15:31:48 |
| Artem | * but adding a package not from Stackage shouldn't override anything, so this field isn't applicable, right? | 15:31:52 |
| Artem | do I need to run anything after updating configuration-hackage2nix/main.yml? the change doesn't seem to get picked up | 15:34:03 |
| maralorn | No, the field is applicable because hackage2nix always has a notion for the default. The default default is the newest version. | 15:37:06 |
 chreekat | Get it included in stackage? 🙂 | 15:37:20 |
| maralorn | Yes maintainers/scripts/haskell/regenerate-hackage-packages.nix | 15:38:01 |
| Artem | yes, I'm contemplating this now. There are some traces of it being there though: https://github.com/commercialhaskell/stackage/commit/c5e992f2a5eb9727c880e92be677d7ded665dc65 so, I guess it's just not the right LTS | 15:43:25 |
| Artem | chreekat: although I don't see it in any of the latest LTSs per GHC versions (I checked for GHC 9.10 and 9.8) | 15:45:30 |
| Artem | 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 |
| Artem | modulo the extension .sh, that started doing something but failed with:
Running hackage2nix to regenerate pkgs/development/haskell-modules/hackage-packages.nix …
.Regenerating transitive-broken.yaml … (pass --fast to /home/artem/nixpkgs/maintainers/scripts/haskell/regenerate-hackage-packages.sh to skip this step)
these 4 paths will be fetched (0.31 MiB download, 1.14 MiB unpacked):
/nix/store/mmi8dxjdsv8r9jxnyd3dqwqakxda1796-jq-1.8.1
/nix/store/kwxm52f2g9ap890pfj2j4ryzq2gj2i69-jq-1.8.1-bin
/nix/store/h0xayyfsl9f17bss0x1xhhz7c3n5fq43-jq-1.8.1-dev
/nix/store/1q3rqjv37glfxsmqcyvnz3ghqj1wjw4a-oniguruma-6.9.10-lib
copying path '/nix/store/1q3rqjv37glfxsmqcyvnz3ghqj1wjw4a-oniguruma-6.9.10-lib' from 'https://cache.nixos.org'...
copying path '/nix/store/mmi8dxjdsv8r9jxnyd3dqwqakxda1796-jq-1.8.1' from 'https://cache.nixos.org'...
copying path '/nix/store/kwxm52f2g9ap890pfj2j4ryzq2gj2i69-jq-1.8.1-bin' from 'https://cache.nixos.org'...
copying path '/nix/store/h0xayyfsl9f17bss0x1xhhz7c3n5fq43-jq-1.8.1-dev' from 'https://cache.nixos.org'...
error: access to absolute path '/home/artem/.local' is forbidden in restricted mode
| 15:53:55 |
| Artem | 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 |
| chreekat | 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 |
| sterni (he/him) | Artem: may be https://github.com/NixOS/nixpkgs/issues/400784, try running with --fast | 16:34:07 |
| maralorn | Yes | 17:09:10 |
| maralorn | Ah, oops. | 17:09:24 |
