[WIP] SATySFi Language Server

This repository is work-in-progress yet.

Features

Kind	Function	Done
`codeAction`	Add the definition of an undefined command under the cursor
`completion`	Complete a command name
`completion`	Complete a field name in a record
`completion`	Complete a local function/variable name
`completion`	Complete a primitive	✅
`completion`	Complete a public function in a module
`diagnostics`	Linter (warning)
`diagnostics`	Syntax error (Recoverable)	✅
`diagnostics`	Syntax error (Unrecoverable)	✅
`diagnostics`	Type error
`format`	Code formatting
`gotoDeclaration`	Go to the type declaration of a command in a module
`gotoDeclaration`	Go to the type declaration of a public function in a module
`gotoDefinition`	Go to the definiton of a command	✅
`gotoDefinition`	Go to the definiton of a local function/variable	✅
`gotoDefinition`	Go to the definiton of a public function in a module
`hover`	Hover on a command in a module
`hover`	Hover on a primitive	✅
`hover`	Hover on a public function in a module
`rename`	Rename a variable name
`typeHint`	Type hints after a command

Lightweight tool for simple deployment (server+client)

deploy Lightweight tool for simple deployment (server+client) Usage You first need a key value pair: deploy generate-keys Public-Key: Used on the serv

0 Dec 27, 2021

A server to continously poll nearly always-on sites to verify that your internet connectivity stays up

Dead Router A server to continously poll nearly always-on sites to verify that your internet connectivity stays up! If one or more of the servers stop

0 Feb 5, 2022

Proxmox Backup Server and Client

Build & Release Notes rustup Toolchain We normally want to build with the rustc Debian package. To do that you can set the following rustup configurat

Read-Only Proxmox Projects Repository Clone.

26 Dec 26, 2022

xrd a next-gen server controller for TrackMania Forever and Nations ESWC

xrd is a next-gen server controller for TrackMania Forever and Nations ESWC that is designed to be hassle-free and easily updatable (with a bus factor of 0).

6 Mar 26, 2022

The missing link to modern server controlling for TrackMania Forever.

xrd (XASeCo Replacing Daemon) xrd is a next-gen server controller for TrackMania Forever and Nations ESWC that is designed to be hassle-free and easil

6 Mar 26, 2022

Rust implementation for Wlroots (Sway, Wayfire, Hikari, River, etc.) of Gnome Screenshot and Idle DBUS Server, which Upwork uses to capture the screen as proof of work.

🚀 upwork-wlroots-bridge 🚀 Rust Implementation for Wlroots (Sway, Wayfire, Hikari, River, etc.) of Gnome Screenshot and Idle DBUS Server (with extra

4 Jan 2, 2023

Comments

It crashes with GNU Emacs's lsp-mode
It seems satysfi-language-server crashes with lsp-mode of GNU Emacs. The following shows the error log. Maybe you need to add an error handling.

thread 'main' panicked at 'called `Option::unwrap()` on a `None` value', src/util.rs:62:62 note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace
opened by MasWag 2