use std::{env, fs}; use zed_extension_api::{self as zed, 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, config: zed::LanguageServerConfig) -> Result { 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( &config.name, &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( &config.name, &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, config: zed::LanguageServerConfig, _worktree: &zed::Worktree, ) -> Result { let server_path = self.server_script_path(config)?; 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, _config: zed::LanguageServerConfig, _worktree: &zed::Worktree, ) -> Result> { let initialization_options = r#"{ "purescript": { "addSpagoSources": true } }"#; Ok(Some(initialization_options.to_string())) } } zed::register_extension!(PurescriptExtension);