use std::{env, fs};use zed_extension_api::{self as zed, serde_json, Result}; const SERVER_PATH: &str = "node_modules/.bin/purescript-language-server";const PACKAGE_NAME: &str = "purescript-language-server"; struct PurescriptExtension { did_find_server: bool,} impl PurescriptExtension { fn server_exists(&self) -> bool { fs::metadata(SERVER_PATH).map_or(false, |stat| stat.is_file()) } fn server_script_path(&mut self, language_server_id: &zed::LanguageServerId) -> Result<String> { let server_exists = self.server_exists(); if self.did_find_server && server_exists { return Ok(SERVER_PATH.to_string()); } zed::set_language_server_installation_status( language_server_id, &zed::LanguageServerInstallationStatus::CheckingForUpdate, ); let version = zed::npm_package_latest_version(PACKAGE_NAME)?; if !server_exists || zed::npm_package_installed_version(PACKAGE_NAME)?.as_ref() != Some(&version) { zed::set_language_server_installation_status( language_server_id, &zed::LanguageServerInstallationStatus::Downloading, ); let result = zed::npm_install_package(PACKAGE_NAME, &version); match result { Ok(()) => { if !self.server_exists() { Err(format!( "installed package '{PACKAGE_NAME}' did not contain expected path '{SERVER_PATH}'", ))?; } } Err(error) => { if !self.server_exists() { Err(error)?; } } } } self.did_find_server = true; Ok(SERVER_PATH.to_string()) }} impl zed::Extension for PurescriptExtension { fn new() -> Self { Self { did_find_server: false, } } fn language_server_command( &mut self, language_server_id: &zed::LanguageServerId, _worktree: &zed::Worktree, ) -> Result<zed::Command> { let server_path = self.server_script_path(language_server_id)?; Ok(zed::Command { command: zed::node_binary_path()?, args: vec![ env::current_dir() .unwrap() .join(&server_path) .to_string_lossy() .to_string(), "--stdio".to_string(), ], env: Default::default(), }) } fn language_server_initialization_options( &mut self, _language_server_id: &zed::LanguageServerId, _worktree: &zed::Worktree, ) -> Result<Option<serde_json::Value>> { Ok(Some(serde_json::json!({ "purescript": { "addSpagoSources": true } }))) }} zed::register_extension!(PurescriptExtension);
use std::{env, fs};
use zed_extension_api::{self as zed, serde_json, Result};
const SERVER_PATH: &str = "node_modules/.bin/purescript-language-server";
const PACKAGE_NAME: &str = "purescript-language-server";
struct PurescriptExtension {
did_find_server: bool,
}
impl PurescriptExtension {
fn server_exists(&self) -> bool {
fs::metadata(SERVER_PATH).map_or(false, |stat| stat.is_file())
}
fn server_script_path(&mut self, language_server_id: &zed::LanguageServerId) -> Result<String> {
let server_exists = self.server_exists();
if self.did_find_server && server_exists {
return Ok(SERVER_PATH.to_string());
}
zed::set_language_server_installation_status(
language_server_id,
&zed::LanguageServerInstallationStatus::CheckingForUpdate,
);
let version = zed::npm_package_latest_version(PACKAGE_NAME)?;
if !server_exists
|| zed::npm_package_installed_version(PACKAGE_NAME)?.as_ref() != Some(&version)
{
zed::set_language_server_installation_status(
language_server_id,
&zed::LanguageServerInstallationStatus::Downloading,
);
let result = zed::npm_install_package(PACKAGE_NAME, &version);
match result {
Ok(()) => {
if !self.server_exists() {
Err(format!(
"installed package '{PACKAGE_NAME}' did not contain expected path '{SERVER_PATH}'",
))?;
}
}
Err(error) => {
if !self.server_exists() {
Err(error)?;
}
}
}
}
self.did_find_server = true;
Ok(SERVER_PATH.to_string())
}
}
impl zed::Extension for PurescriptExtension {
fn new() -> Self {
Self {
did_find_server: false,
}
}
fn language_server_command(
&mut self,
language_server_id: &zed::LanguageServerId,
_worktree: &zed::Worktree,
) -> Result<zed::Command> {
let server_path = self.server_script_path(language_server_id)?;
Ok(zed::Command {
command: zed::node_binary_path()?,
args: vec![
env::current_dir()
.unwrap()
.join(&server_path)
.to_string_lossy()
.to_string(),
"--stdio".to_string(),
],
env: Default::default(),
})
}
fn language_server_initialization_options(
&mut self,
_language_server_id: &zed::LanguageServerId,
_worktree: &zed::Worktree,
) -> Result<Option<serde_json::Value>> {
Ok(Some(serde_json::json!({
"purescript": {
"addSpagoSources": true
}
})))
}
}
zed::register_extension!(PurescriptExtension);