chore(nix): bump nixpkgs to prevent glibc issues

[teto]

I've had errors with the current HLS built via nix since it uses an older
nixpkgs than mine with a different glibc

Unexpected usage error
/nix/store/lyl6nysc3i3aqhj6shizjgj0ibnf1pvg-glibc-2.34-210/lib/libc.so.6: undefined symbol: _dl_audit_symbind_alt, version GLIBC_PRIVATE

NB: Maybe I should add pre-commit to the devShell since I got:

`pre-commit` not found.  Did you forget to activate your virtualenv?

[guibou]

Approved. The problem with this is that it will break nix flake for all users who are using older nixpkgs version.

A more robust solution would be to encourage users to use the nix flake follows feature.

[michaelpj]

The new .pre-commit-config.yaml is a link into your nix store, which seems definitely wrong...

[guibou]

To give a bit more context about this issue.

Nixpkgs bumped glibc to 2.34 where some symbols changed.

Nix flake provide reproducible build because HLS is set to use a specific nixpkgs. However a user of the HLS flack may use another version of nixpkgs, with incompatible glibc.

In theory, it is not a problem. However, HLS (built with glibc A) will try to communicate with ghc provided by the user using another nixpkgs with a different glibc, hence the symbol conflicts. I'm not too sure about how this happen (how does HLS call GHC?)

The follows feature allows user to force their nixpkgs to match HLS one (or the other way). In both cases there may be conflicts (i.e. different informations in nixpkgs), but at least user can handle that locally

[michaelpj]

I don't think the flake is really a reliable way of getting HLS installed on your system for this reason amongst others. Most users just install it from nixpkgs directly.

[teto]

I had failed to see that the pre-commit hook was versioned. Seems like pre-commit is installed via nix develop .\#haskell-language-server-922-dev-nix (I probably ran initally just a nix develop .#haskell-language-server-922).

I don't think the flake is really a reliable way of getting HLS installed on your system for this reason amongst others. Most users just install it from nixpkgs directly.

When it comes to software installation, I find nix is the most reliable. but true historically (with HIE too) there has been glibc issues with HLS, not sure why. I sometimes need to fetch a HLS from master because of some bugfixes and flakes make it incredibly easy to test/update.

[michaelpj]

This is an improvement regardless!