From e5bb23fa9ee2a2047368b05f262de6b2152d7a27 Mon Sep 17 00:00:00 2001 From: William Boman Date: Tue, 11 Apr 2023 03:12:52 +0200 Subject: chore: migrate packages (#1203) --- .../index/purescript-language-server/init.lua | 16 ---------------- 1 file changed, 16 deletions(-) delete mode 100644 lua/mason-registry/index/purescript-language-server/init.lua (limited to 'lua/mason-registry/index/purescript-language-server/init.lua') diff --git a/lua/mason-registry/index/purescript-language-server/init.lua b/lua/mason-registry/index/purescript-language-server/init.lua deleted file mode 100644 index a6b33742..00000000 --- a/lua/mason-registry/index/purescript-language-server/init.lua +++ /dev/null @@ -1,16 +0,0 @@ -local Pkg = require "mason-core.package" -local _ = require "mason-core.functional" -local npm = require "mason-core.managers.npm" - -return Pkg.new { - name = "purescript-language-server", - desc = _.dedent [[ - Node-based Language Server Protocol server for PureScript based on the PureScript IDE server (aka psc-ide / purs - ide server). Used as the vscode plugin backend but should be compatible with other Language Server Client - implementations. - ]], - languages = { Pkg.Lang.PureScript }, - categories = { Pkg.Cat.LSP }, - homepage = "https://github.com/nwolverson/purescript-language-server", - install = npm.packages { "purescript-language-server", bin = { "purescript-language-server" } }, -} -- cgit v1.2.3-70-g09d2