LSP Mk II

[ChrisPenner]

Overview

This adds the following features to the Mk I release:

Installation and setup

Currently the only supported configuration is to connect to the LSP via a specified port.

The default is 127.0.0.1:5757, but you can change the port using UNISON_LSP_PORT=1234.

I've got this configuration in my CocConfig for nvim, your setup may vary.

  "languageserver": {
    "unison": {
      "filetypes": ["unison"],
      "host": "127.0.0.1",
      "port": 5757
    }

Note that you'll need to start UCM before you try connecting to it in your editor or your editor might give up.

For VSCode I believe we'll have to publish an npm package to make an extension.

Implementation notes

Interesting/controversial decisions