From 84cde749e6d23d281812701d9fcd280148466e31 Mon Sep 17 00:00:00 2001
From: Mathew Polzin <matt.polzin@gmail.com>
Date: Sun, 23 Jun 2024 11:24:29 -0500
Subject: [PATCH] idris2Packages.idris2Lsp: apply ergonomics improvements
 facilitated by latest buildIdris changes

---
 pkgs/development/compilers/idris2/idris2-lsp.nix | 6 +++---
 1 file 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";