purescript-language-server

purescript-language-server copied to clipboard

``` Found IDE server on port 15770 with wrong path: /path/to/project instead of /path/to/project/ ```

nwolverson

Connection to server got closed. Server will not be restarted.

1

Whenever I boot up my vs code with the purescript language server extension, I get: ``` Only one folder in workspace, starting language server Launching new language client for file:///d%3A/Code/trident...

Darthnerda

[RFE] Suggest the most relevant typename first

6

Related to [this compiler issue](https://github.com/purescript/purescript/issues/4559). Frequently, when typing the name of a function or a type, and there are multiple candidates *(I think, the most common function is `singleton`, which...

Hi-Angel

Retries when restarting ide server.

3

@nwolverson Can you explain the reason for these retries? https://github.com/nwolverson/purescript-language-server/blob/ceee3d5ff4cb5beb62a134088502523bc8afb73c/src/LanguageServer/IdePurescript/Main.purs#L280

wclr

Repeatedly added qualified imports on completion.

4

I don't remember how long I have been experiencing this issue. But often when I add qualiifed import, for example I type and press tab to complete: ```purs x =...

wclr

New spago args (--json-errors)

1

This is just in case. New spago assumes passing `--json-errors` without `--purs-args`: `spago build --json-errors`, currently by default LS uses `spago build --purs-args --json-errors` build command wich gives an error....

wclr