| 5 Apr 2025 |
sterni (he/him) | so basically we completely ignore the bootstrap plan thing upstream provides | 11:59:46 |
sterni (he/him) | you may be interested in https://github.com/stable-haskell/ghc/pull/3 for a future improvement; even some GHC devs are not happy with hadrian | 12:00:44 |
Alyssa Ross | In reply to @sternenseemann:systemli.org Thanks!! I'll properly review it soon. Thank you!! It's blocking me from updating Nixpkgs ATM so I hope it can be ready soon, but ofc if it ends up stuck for reasons outside of my control I can work around with an overlay or something | 13:10:37 |
thirdofmay18081814goya | do we have hls 9.10 packaged somewhere? | 13:37:48 |
thirdofmay18081814goya | or otherwise, what are the current options for getting 9.10? | 13:45:09 |
maralorn | We use the same hls derivation for every ghc major version. | 13:45:16 |
thirdofmay18081814goya | oh, do we have it somewhere in haskell.compiler.ghc910? | 13:46:23 |
maralorn | It works. You can install ghc 9.10 with HLS from nixos-unstable. | 13:46:01 |
maralorn | That’s the ghc you want. Have a look at the nixpkgs manual to read how to install hls for that. | 13:47:42 |
thirdofmay18081814goya | noted, thanks a lot! | 13:47:53 |
maralorn | Note, though: If you want to run a nix build of a particular package with ghc 9.10 it is likely that some dependencies are still broken. package support is more narrow on non-default versions. | 13:49:11 |
thirdofmay18081814goya | just need to have the lsp work, I'm otherwise working with cabal atm | 13:50:42 |
thirdofmay18081814goya | but I was eventually going to start looking into how the nix infra wrt cabal packaging works | 13:50:56 |
Divya | In reply to @sternenseemann:systemli.org Divya: what problems are you running into with hadrian? We are basically treating it as a normal haskell tool, building it using the bindist we also use to bootstrap GHC and reusing our normal Haskell package set, this requires occasional fiddling with version constraints, but Hadrian is not too picky about dependency versions. We wanted to bootstrap Hadrian, since GHC docs said it can be done :) | 14:53:24 |
sterni (he/him) | well what do you mean with bootstrap? | 15:43:35 |
| @tinybronca:sibnsk.net left the room. | 15:47:52 |
hellwolf | what does doDistribute do? | 17:29:22 |
maralorn | In reply to @hellwolf:matrix.org what does doDistribute do? controls whether a job on hydra gets created | 17:41:28 |
hellwolf | I see. | 17:42:10 |
hellwolf | https://paste.tomsmeding.com/UvihEopY <-- also, the derivations of ghc-exactprints look weird, it's both library and executable, and sometimes libraryHaskellDepends is missing, and resulting build failures. | 17:42:59 |
hellwolf | I am stuck here atm, building HLS for GHC912 | 17:44:03 |
hellwolf | something wrong with cabal2nix? | 17:48:23 |
hellwolf | * could it be something wrong with cabal2nix for this package? | 17:48:29 |
hellwolf | # A given major version of ghc-exactprint only supports one version of GHC.
ghc-exactprint = doDistribute self.ghc-exactprint_1_9_0_0;
ghc-exactprint_1_9_0_0 = addBuildDepends [
self.Diff
self.extra
self.ghc-paths
self.silently
self.syb
self.HUnit
] super.ghc-exactprint_1_9_0_0;
This is what's written in configuration-ghc-9.10.x
| 17:55:24 |
hellwolf | alright, I copy this over but for 1_12_0_0 for ghc912, now it compiles. | 18:06:37 |
hellwolf | but now I am getting a GHC crash when building generic-lens. GREAT. | 18:06:50 |
maralorn | cabal2nix only creates derivation stubs if there is no valid build plan for our default ghc. | 18:20:10 |
maralorn | That sounds hairy. | 18:20:26 |
hellwolf | I got HLS built now, with a few of dontChecks and disabled plugins mostly related to ghc-parser (used by hlint, formolu, ormolu, etc.)
Let me clean it up a bit and send a PR. While I am at it, maybe i should help with 9.8 too.. | 18:34:29 |
hellwolf | $ ./result/bin/haskell-language-server-wrapper --version
haskell-language-server version: 2.10.0.0 (GHC: 9.12.2) (PATH: /nix/store/21vsy90gw6p5gc3rmzxgpvzg7kcrrghs-haskell-language-server-2.10.0.0/bin/haskell-language-server-wrapper)
| 18:35:29 |