| 30 Sep 2025 |
 maralorn | I don’t think there is a viable bindist. | 16:07:46 |
 MangoIV | Aha makes sense. | 16:07:58 |
| MangoIV | What does Ghcup do | 16:08:01 |
| maralorn | It does not work on nixos. | 16:08:12 |
| MangoIV | Fwiw even a FOD would be good | 16:08:30 |
| MangoIV | I do know that. I wonder where they get their binary from. | 16:08:46 |
| maralorn | But roughly: There is a bindist of hls for every bindist of ghc. | 16:08:51 |
| maralorn | hls ci builds them. | 16:09:00 |
| MangoIV | I see. | 16:09:14 |
| MangoIV | (Fwiw same applies for GHC bindist) | 16:09:50 |
| MangoIV | A FOD would be good | 16:10:04 |
| maralorn | I mean, we somehow use ghc bindists in nixpkgs, right?^^ | 16:10:38 |
| maralorn | I don’t even know what our derivations for that do differently from ghcup. 😄 | 16:10:55 |
| maralorn | A fod of what? | 16:11:12 |
 teo (they/he) | I was just reading the binary GHC bindist code. There's a bit of complexity there, but it's mostly just using patchelf to provide the C deps | 16:12:36 |
| teo (they/he) | The Haskell libs come from relative paths and that apparently complicates the patchelf stuff somehow | 16:13:43 |
| MangoIV | HLS. Just let cabal solve it, maybe use something like francescos thing | 16:14:06 |
| MangoIV | Basically excempt the annoying things from the package set and just let cabal solve for them and install the static binary | 16:15:41 |
| MangoIV | Then you build one per GHC and that’s it. | 16:15:57 |
| teo (they/he) | Isn't there a thing about how GHC/HLS can't be statically linked | 16:16:20 |
| MangoIV | Oh I mean Haskell static linking? | 16:16:37 |
| MangoIV | Fwiw it’s not important. I basically just mean, cut off the binary so the closure isn’t huge | 16:17:27 |
| maralorn | Yeah, no. Not possible if you want to support TH. | 16:17:51 |
| teo (they/he) | Yeah that sounds reasonable. We basically do this at work with haskell.nix but I wouldn't recommend that since haskell.nix has horrible eval times | 16:18:04 |
| maralorn | (The static linking thing.) | 16:18:26 |
| MangoIV | That’s the Hadrian bug right | 16:18:49 |
| maralorn | I don’t think so. | 16:19:02 |
| maralorn | I think it’s because HLS uses another linker when it is statically linked and that linker sucks at linking in splices. | 16:19:31 |
| MangoIV | Ah HLS | 16:19:44 |
| MangoIV | I thought *at all^ | 16:19:49 |
