From d5fe5f4b210a0e4bac42ae0c159596a49c5eb016 Mon Sep 17 00:00:00 2001 From: James Brock Date: Fri, 6 Oct 2023 17:49:22 +0900 Subject: [PATCH] Upgrades Purescript Language Server v0.17.2 purescript-backend-optimizer v1.4.2 --- purescript-language-server/node-packages.nix | 43 +++++++++++++------- purs-backend-es/node-packages.nix | 6 +-- 2 files changed, 31 insertions(+), 18 deletions(-) diff --git a/purescript-language-server/node-packages.nix b/purescript-language-server/node-packages.nix index 1c9c95f..488a140 100644 --- a/purescript-language-server/node-packages.nix +++ b/purescript-language-server/node-packages.nix @@ -22,13 +22,13 @@ let sha512 = "6j1W9l1iAs/4xYBI1SYOVZyFcCis9b4KCLQ8fgAGG07QvzaRLVVRQvAy85yNmmZSjYjg4MWh4gNvlPujU/5LpA=="; }; }; - "uuid-3.4.0" = { + "uuid-9.0.1" = { name = "uuid"; packageName = "uuid"; - version = "3.4.0"; + version = "9.0.1"; src = fetchurl { - url = "https://registry.npmjs.org/uuid/-/uuid-3.4.0.tgz"; - sha512 = "HjSDRw6gZE5JMggctHBcjVak08+KEVhSIiDzFnT9S9aegmp85S/bReBVTb4QTFaRNptJ9kuYaNhnbNEOkbKb/A=="; + url = "https://registry.npmjs.org/uuid/-/uuid-9.0.1.tgz"; + sha512 = "b+1eJOlsR9K8HJpow9Ok3fiWOWSIcIzXodvv0rQjVoOVNpWMpxf1wZNpt4y9h10odCNrqnYp1OBzRktckBe3sA=="; }; }; "vscode-jsonrpc-8.1.0" = { @@ -40,6 +40,15 @@ let sha512 = "6TDy/abTQk+zDGYazgbIPc+4JoXdwC8NHU9Pbn4UJP1fehUyZmM4RHp5IthX7A6L5KS30PRui+j+tbbMMMafdw=="; }; }; + "vscode-jsonrpc-8.2.0" = { + name = "vscode-jsonrpc"; + packageName = "vscode-jsonrpc"; + version = "8.2.0"; + src = fetchurl { + url = "https://registry.npmjs.org/vscode-jsonrpc/-/vscode-jsonrpc-8.2.0.tgz"; + sha512 = "C+r0eKJUIfiDIfwJhria30+TYWPtuHJXHtI7J0YlOmKAo7ogxP20T0zxB7HZQIFhIyvoBPwWskjxrvAtfjyZfA=="; + }; + }; "vscode-languageserver-8.1.0" = { name = "vscode-languageserver"; packageName = "vscode-languageserver"; @@ -58,13 +67,13 @@ let sha512 = "924/h0AqsMtA5yK22GgMtCYiMdCOtWTSGgUOkgEDX+wk2b0x4sAfLiO4NxBxqbiVtz7K7/1/RgVrVI0NClZwqA=="; }; }; - "vscode-languageserver-textdocument-1.0.10" = { + "vscode-languageserver-textdocument-1.0.11" = { name = "vscode-languageserver-textdocument"; packageName = "vscode-languageserver-textdocument"; - version = "1.0.10"; + version = "1.0.11"; src = fetchurl { - url = "https://registry.npmjs.org/vscode-languageserver-textdocument/-/vscode-languageserver-textdocument-1.0.10.tgz"; - sha512 = "dPA6WqtAQJ/Iopm0Hrj11VvaKxsEcm62jpqyaYbY0xuvUffeWAn77f3VKr2SCsJphSyEw4Fjkjqm2gQ24KQfrA=="; + url = "https://registry.npmjs.org/vscode-languageserver-textdocument/-/vscode-languageserver-textdocument-1.0.11.tgz"; + sha512 = "X+8T3GoiwTVlJbicx/sIAF+yuJAqz8VvwJyoMVhwEMoEKE/fkDmrqUgDMyBECcM2A2frVZIUj5HI/ErRXCfOeA=="; }; }; "vscode-languageserver-types-3.17.3" = { @@ -100,19 +109,23 @@ in purescript-language-server = nodeEnv.buildNodePackage { name = "purescript-language-server"; packageName = "purescript-language-server"; - version = "0.17.1"; + version = "0.17.2"; src = fetchurl { - url = "https://registry.npmjs.org/purescript-language-server/-/purescript-language-server-0.17.1.tgz"; - sha512 = "o/YpvFMOXp5/UqfFjed8+pwZwttg1QpI3iqkHlMB16AW8MRYGVwTAw1zV8MGqazFFat5j3+IJEUHhaeFON0EfA=="; + url = "https://registry.npmjs.org/purescript-language-server/-/purescript-language-server-0.17.2.tgz"; + sha512 = "HGl62LzelDrfJBmtuUdxAFuEbvt/geEtL/Bzpl/vpJitmYXfbDgOf245wn8rX6h4YgC2AzfVt4wWW+5aNGIsuw=="; }; dependencies = [ sources."isexe-2.0.0" sources."shell-quote-1.8.1" - sources."uuid-3.4.0" - sources."vscode-jsonrpc-8.1.0" + sources."uuid-9.0.1" + sources."vscode-jsonrpc-8.2.0" sources."vscode-languageserver-8.1.0" - sources."vscode-languageserver-protocol-3.17.3" - sources."vscode-languageserver-textdocument-1.0.10" + (sources."vscode-languageserver-protocol-3.17.3" // { + dependencies = [ + sources."vscode-jsonrpc-8.1.0" + ]; + }) + sources."vscode-languageserver-textdocument-1.0.11" sources."vscode-languageserver-types-3.17.3" sources."vscode-uri-2.1.2" sources."which-2.0.2" diff --git a/purs-backend-es/node-packages.nix b/purs-backend-es/node-packages.nix index 7450f21..6a8e212 100644 --- a/purs-backend-es/node-packages.nix +++ b/purs-backend-es/node-packages.nix @@ -9,10 +9,10 @@ in purs-backend-es = nodeEnv.buildNodePackage { name = "purs-backend-es"; packageName = "purs-backend-es"; - version = "1.3.2"; + version = "1.4.2"; src = fetchurl { - url = "https://registry.npmjs.org/purs-backend-es/-/purs-backend-es-1.3.2.tgz"; - sha512 = "ujfo3eb+fnLvNR9wpa0ep/grSAZMybZB4aibdzBYLrm6PjRGJP7sDg0Nw/zMOAeMOYXFJtzVlxNbrsWjzKxWqQ=="; + url = "https://registry.npmjs.org/purs-backend-es/-/purs-backend-es-1.4.2.tgz"; + sha512 = "S9Dxq0rb21eyjtiYKv3S2Hw6T2JE3/uyRSG82BV1/iiDhoQIaie5aKb5EvHhOjfWlbF3dK6b0TWXaePdjqTHuw=="; }; buildInputs = globalBuildInputs; meta = { -- 2.45.2