| 14 Aug 2025 |
 sterni | I think it is necessary since the test suite changes directory sometimes: https://github.com/ucsd-progsys/liquid-fixpoint/blob/0171863c853a6076238d2697388f4ad6f2ee43b2/tests/test.hs#L181-L199 | 10:33:42 |
| sterni | 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 |
