* Refactor diagnostics
Now stores diagnostics info in the state instead of computing when diagnostics
are being published.
* Refactor Wasp.LSP.State into multiple files
* Move all LSP type imports to qualified
More consistent and more clear where things come from
* Use new concrete parser in diagnostics
Before running full analyzer, runs CST parser to check if it parses correctly
and to collect many parse errors. The CST is always put into the state. Then, if
successful, the full analyzer gets run as before.
* Add basic autocompletion
Always suggests every declaration name in the file, with no context-sensitivity.
* Refactor some names
* Syntax tree traversal code
* Attempt at context-sensitive autocomplete
Not done, but doing some more refactoring before going back to this
* Refactor Control.Syntax.Traverse to use total functions
* Make autocompletion context sensitive
It actually works now
* Miscellaneous code clean up
* Fix incorrect type name
* Fix syntax traversal bug with back
* Remove unreadable symbols from syntax traversal
* Refactor completion code
* Refactor syntax traversal code
* Apply suggestions from code review
Co-authored-by: Martin Šošić <Martinsos@users.noreply.github.com>
* Feedback from code review
* Add tests for Control.Monad.Loops.untilM
Co-authored-by: Martin Šošić <Martinsos@users.noreply.github.com>