| 19 Feb 2026 |
 woobilicious | what's the simplest way to bump a package version? sbv package is broken and that version is marked as deprecated upstream. I guess overrideSrc is best here? | 04:26:53 |
 peddie | out of curiosity, isn't sbv usually broken because its golden tests hardcode what they expect to be emitted for the name/path of the SMT solver, but in nixpkgs it emits the full path rather than just the binary name? did he finally fix this upstream? | 04:40:41 |
| woobilicious | Never used it before, so can't comment on it, wouldn't we want to just disable tests instead? | 04:43:53 |
| woobilicious | wait hold up we have a newer verision but its called sbv_12 hmm | 04:50:17 |
| woobilicious | but that is also marked as broken lol | 04:52:16 |
| woobilicious | note the only suppposed working version on hackage is v13.5 | 04:53:04 |
| woobilicious | well, looks like the reason why our version is 11.7 is that that is what stackage lts uses. | 05:22:52 |
| woobilicious | peddie: you might be right there, we don't mark it dontCheck by the looks. checks are also extremely slow. I've disabled now because I'm impatient lol | 05:33:03 |
| peddie | I looked at it a couple times and it was always only that issue, and I don't think Levent has a lot of time to support "unusual" platforms like nixpkgs :) | 05:34:34 |
| peddie | I guess one option would be to patch the golden test files when we build! | 05:36:52 |
| woobilicious | I guess we could fix it for him, or just disable tests. | 05:37:46 |
| peddie | well the tests compare exact string equality with the golden output files. IIRC the ones it ships with just contain the SMT solver name, like z3 or cvc5, but when we run tests in nixpkgs we get the full path /nix/store/blahblahblah/bin/z3, so they fail. but it doesn't make any sense to insert any full path upstream | 05:39:05 |
| woobilicious | I mean the test itself shouldn't care about fullpath v not, so there must be some way to fix this false negative without a "hacky" solution like inserting hard coded paths. | 05:44:45 |
| peddie | yes, this is really a spurious failure. we could just mask out the initial line that contains the solver name from both the output and the reference file, or something like that | 05:45:29 |
| woobilicious | do we have a link to the failing test? I assume it's on hydra somewhere | 05:46:01 |
| woobilicious | lol, why is hydra's UI so confusing, do periods break hydra search? wtf | 05:51:57 |
| woobilicious | Ahh it hasn't been tested since v10.9 in 2023 | 05:59:01 |
| woobilicious | Okay fixed: https://github.com/LeventErkok/sbv/pull/772 | 06:56:25 |
| 20 May 2021 |
|  @grahamc:nixos.org set the history visibility to "world_readable". | 22:10:58 |
| @grahamc:nixos.org changed the room name to "" from "". | 22:10:58 |
| @grahamc:nixos.org invited  maralorn. | 22:11:05 |
| maralorn joined the room. | 22:11:13 |
|  andi- joined the room. | 22:30:49 |
| @grahamc:nixos.orgchanged room power levels. | 22:36:42 |
| Room Avatar Renderer. | 22:46:20 |
| maralorn changed the join rule to "public" from "public". | 22:54:26 |
| maralorn changed the room topic to "For discussions and questions about Haskell with Nix, cabal2nix and haskellPackages in nixpkgs | Current Docs: https://haskell4nix.readthedocs.io/" from "For discussions about Haskell with Nix, cabal2nix and haskellPackages in nixpkgs | Current Docs: https://haskell4nix.readthedocs.io/". | 22:56:19 |
|  Server Stats Discoverer (traveler bot) joined the room. | 23:05:49 |
|  pennae joined the room. | 23:06:26 |
|  justinrestivo joined the room. | 23:07:39 |
