[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

How to setup

At the moment, we are only using coc.nvim on Neovim to check the operation.

Usage

In coc-settings.json:

{
    "languageserver": {
        "satysfi-ls": {
            "command": "/path/to/satysfi-language-server/target/debug/satysfi-language-server",
            "args": [],
            "filetypes": ["satysfi"],
            "trace.server": "verbose"
        }
    }
}

Debug Mode

/path/to/satysfi-language-server/target/debug/satysfi-language-server --tcp

In coc-settings.json:

{
    "languageserver": {
        "socketserver": {
            "host":"127.0.0.1",
            "port": 9527,
            "filetypes": ["satysfi"]
        }
    }
}