| 24 Jan 2025 |
 alexfmpe | In reply to @maralorn:maralorn.de
And I wrote a manual section about the minuatiae of picking the right hls but editor config is left as an excercise to the reader. ^^ Been using vscode on the mac via home manager | 16:01:07 |
| alexfmpe | Is nice | 16:01:12 |
| alexfmpe | Never used ghcup | 16:02:11 |
| alexfmpe | I just tell HLS to take it from PATH and nix shell on the relevant project | 16:02:34 |
 Profpatsch | alex: It’s a pretty good default to install GHC if it’s missing imho | 16:23:17 |
| Profpatsch | that’s what ghcup is for after all | 16:23:23 |
| Profpatsch | on an average Ubuntu that probably works | 16:23:39 |
 chreekat | Why did I only just now learn that cabal2nix https://path-to-commit.zip does exactly what it should do 😩 | 16:26:11 |
 maralorn | Opinions whether it should actually do that differ. 😄 | 17:03:11 |
| chreekat | i don't wanna know :D | 17:06:19 |
| chreekat | But I do wanna know how to ... do the thing... I have done a dozen times.... and override packages down in the dependency tree | 17:08:54 |
| maralorn | overrideScope? | 17:12:35 |
| chreekat | never used it before | 17:18:22 |
| chreekat | nah I need the haskellPackages.override thing I think | 17:24:05 |
 tobz619 | In reply to @alexfmpe:matrix.org
I just tell HLS to take it from PATH and nix shell on the relevant project does this work over different ghc versions? | 17:26:22 |
| chreekat | tobz619: nah, you need to pull hls and ghc from the same nixpkgs pin for them to work together | 17:40:55 |
| maralorn | chreekat: That’s true. But a sensible nix-shell will do exactly that. So yeah, tobz619 That totally works for different ghc versions. | 17:42:31 |
| maralorn | Huh, maybe a misunderstanding. I am pretty sure alexfmpe meant to set the PATH with the HLS via the nix-shell. | 17:43:40 |
| maralorn | tobz619: See the above linked nixpkgs manual entry on how to install the right hls for your ghc version. | 17:44:02 |
| chreekat | (alexmfpe's method works fine if you use the same ghc for a bunch of stuff. I myself have a default ghc/hls in my env) | 17:47:21 |
| chreekat | huh, i'm trying to use a certain nixpkgs pin that uses lts-22.4 for Reasons, but i'm getting a different version of the tls package than I expect | 17:48:11 |
| chreekat | ah yes, naturally I wasn't using the nixpkgs pin I thought I was | 17:50:10 |
| chreekat | lo, that wasn't the problem | 17:50:41 |
| chreekat | 854b5340529bef34fe98b8ed91eff95ee5bf03fd , expected tls-1.8.0, got tls-1.6.0 | 17:56:02 |
| chreekat | probably still getting the wrong nixpkgs pin somehow, but I don't know how | 17:56:44 |
| chreekat | ahh, it's a boot thingy isn't it | 17:58:01 |
| chreekat | er, no, but another package require <1.8 | 17:59:00 |
| chreekat | so forcing 1.8 doesn't work, which is fine, because I should probably understand why it's not 1.8 in the first place | 17:59:17 |
| chreekat | not tonight though! | 17:59:28 |
 hellwolf | I just fixed the echidna build | 20:49:42 |
