ddlog-lsp

A language server implementation for DDlog

Status

The server is still in an early state. It is usable but many advanced features have not yet been implemented.

Usage

The server has not yet had a stable release. You can build and install it locally if you would like to experiment with it in the meantime.

Installing the Server

Prebuilt Binaries

The easiest way to install the server is to grab one of the prebuilt binaries under releases.

Building from Source

First ensure you have the rust toolchain installed, then proceed as follows:

git clone https://github.com/ddlog-lsp/ddlog-lsp
cd ddlog-lsp
cargo xtask init
cargo xtask install

Selecting the Async Runtime

The server is runtime agnostic and can be configured to run on async-std, futures, smol, or tokio.

The table below describes how to select a runtime. The tokio runtime is selected by default.

runtime	command
async-std	cargo xtask install --runtime=async-std
futures	cargo xtask install --runtime=futures
smol	cargo xtask install --runtime=smol
tokio	cargo xtask install --runtime=tokio

Installing the Client Extension

Once the server is installed you can install the Visual Studio Code client extension.

Language Server Feature Support

• 🗹 document parsing via ddlog tree-sitter grammars
• 🗹 document symbol provider
• 🗹 syntax error diagnostics provider
• 🗹 incremental document synchronization

Language Server Feature Roadmap

• ☐ code action provider
• ☐ code lens provider
• ☐ completion provider
• ☐ definition provider
• ☐ document formatting (full and ranged) provider
• ☐ document highlight provider
• ☐ hover provider
• ☐ references provider
• ☐ semantic tokens provider
• ☐ signature help provider
• ☐ workspace symbol provider
• ☐ implementation of the Debug Adapter Protocol
• ☐ document validation