sml-language-server

A language server for Standard ML

Installing the Server

npm install -g sml-language-server

Launching the Server

The server can be launched in the following ways:

sml-language-server --node-ipc
sml-language-server --socket={number}
sml-language-server --stdio

For node-based clients like vscode-sml --node-ipc is the most efficient approach. Clients written in other languages should use --stdio or --socket.

Building the server

Execute the following steps:

yarn install
yarn run compile