diff options
| author | Mathew Polzin <matt.polzin@gmail.com> | 2024-06-23 11:24:29 -0500 |
|---|---|---|
| committer | Mathew Polzin <matt.polzin@gmail.com> | 2024-06-23 11:24:29 -0500 |
| commit | 84cde749e6d23d281812701d9fcd280148466e31 (patch) | |
| tree | 942083995f5e034423bfd00b642059edc54165ee /pkgs/development/compilers/idris2 | |
| parent | 85c18bcd36a2b9a214af244f0e5def5b5184f76c (diff) | |
idris2Packages.idris2Lsp: apply ergonomics improvements facilitated by latest buildIdris changes
Diffstat (limited to 'pkgs/development/compilers/idris2')
| -rw-r--r-- | pkgs/development/compilers/idris2/idris2-lsp.nix | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/pkgs/development/compilers/idris2/idris2-lsp.nix b/pkgs/development/compilers/idris2/idris2-lsp.nix index 095b973cc0cb..59a718c045ce 100644 --- a/pkgs/development/compilers/idris2/idris2-lsp.nix +++ b/pkgs/development/compilers/idris2/idris2-lsp.nix @@ -11,8 +11,8 @@ let ]; globalLibrariesPath = builtins.concatStringsSep ":" globalLibraries; - idris2Api = idris2Packages.idris2Api { }; - lspLib = (idris2Packages.buildIdris { + inherit (idris2Packages) idris2Api; + lspLib = idris2Packages.buildIdris { ipkgName = "lsp-lib"; version = "2024-01-21"; src = fetchFromGitHub { @@ -22,7 +22,7 @@ let hash = "sha256-ICW9oOOP70hXneJFYInuPY68SZTDw10dSxSPTW4WwWM="; }; idrisLibraries = [ ]; - }).library { }; + }; lspPkg = idris2Packages.buildIdris { ipkgName = "idris2-lsp"; |