Kirill Kuvshinov
bf6cc6ca16
[LIGO-18] Expose find ref and go to def via LSP
...
Problem: The current implementation of "Find references" and
"Go to definition" is not exposed via the LSP. We need to expose
them so that they are accessible from the client.
Solution: Add the necessary handlers, send response messages.
2020-08-11 12:32:07 +04:00
Kirill Andreev
24cc24b0d7
Prevent loop on recursive import
2020-08-11 12:32:06 +04:00
Kirill Andreev
b35a28853b
Add ability to recursively parse #included files
2020-08-11 12:32:06 +04:00
Kirill Andreev
583d7f8997
Clean the comments
2020-08-11 12:32:05 +04:00
Kirill Andreev
03b89bc5b7
Rewrite scope loader
2020-08-11 12:32:05 +04:00
Kirill Andreev
8d61a36918
[WIP] Implement a loader of Env from a ScopeTree
2020-08-11 12:32:05 +04:00
Kirill Andreev
9f124bf5af
Implement def/impl/type search
2020-08-11 12:32:04 +04:00
Kirill Andreev
9d81ecf353
Silence warnings
2020-08-11 12:32:02 +04:00
Kirill Andreev
9b95006a71
Make Error a Functor; move all Error stuff to Error.hs
2020-08-11 12:32:02 +04:00
Kirill Andreev
f3fbfb49a1
Add documentation
2020-08-11 12:32:01 +04:00
Kirill Andreev
95707100c2
Formatting Main.hs
2020-08-11 12:32:01 +04:00
Kirill Kuvshinov
9856476ebf
WIP: Add CTRL.run
2020-08-11 12:32:00 +04:00
Kirill Andreev
d380e46737
Convert to monotyped AST
2020-08-11 12:32:00 +04:00
Kirill Andreev
11fdc0afa1
Fix error msg interpolation
2020-08-11 12:31:59 +04:00
Kirill Andreev
67de82edec
[LIGO-6] Implement fallback scope system
2020-08-11 12:31:58 +04:00
Kirill Andreev
1536590edb
TMP
2020-08-11 12:31:58 +04:00
Kirill Andreev
e6299a50ff
Make parser recognise all src/tests/contracts
2020-08-11 12:31:54 +04:00
Kirill Andreev
0cec59988e
Prevent many/some from making last error-element
2020-08-11 12:31:51 +04:00
Kirill Andreev
00b4dabe36
Add Pretty instance to AST, Error and Range
2020-08-11 12:31:51 +04:00
Kirill Andreev
510cda6613
Initial commit of LIGO tooling
2020-08-11 12:31:49 +04:00
