README
[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"]
}
}
}
language-server
satysfi
Similar repos
Languages
Rust
100.0%
README
[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"]
}
}
}
language-server
satysfi
Similar repos
Languages
Rust
100.0%