WARNING: THIS SITE IS A MIRROR OF GITHUB.COM / IT CANNOT LOGIN OR REGISTER ACCOUNTS / THE CONTENTS ARE PROVIDED AS-IS / THIS SITE ASSUMES NO RESPONSIBILITY FOR ANY DISPLAYED CONTENT OR LINKS / IF YOU FOUND SOMETHING MAY NOT GOOD FOR EVERYONE, CONTACT ADMIN AT ilovescratch@foxmail.com
Skip to content

Adding purescript-language-server to tools #346

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
andys8 wants to merge 1 commit into
base: master
Choose a base branch
from
+2 −1
Open

Adding purescript-language-server to tools #346

Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
3 changes: 2 additions & 1 deletion guides/Error-Suggestions.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -11,10 +11,11 @@ ouput of the compiler, but in the JSON output in a machine-usable format.
* [psc-ide-vim](https://github.com/FrigoEU/psc-ide-vim/blob/master/doc/psc-ide-vim.txt#L61)
* [atom-ide-purescript](https://github.com/nwolverson/atom-ide-purescript#error-suggestions--quick-fix)
* [vscode-ide-purescript](https://github.com/nwolverson/vscode-ide-purescript)
* [purescript-language-server](https://github.com/nwolverson/purescript-language-server)

### Fixable issues

Classes of issues with support for auto-fix suggestions:

* Import warnings (e.g. remove unused imports, make import explicit)
* Missing type annotation (top level type annotations and `_`)
* Missing type annotation (top level type annotations and `_`)