index
:
debian-urweb
dfsg_clean
master
unofficial
Debian packaging for Ur/Web
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
src
/
lsp.sml
Commit message (
Collapse
)
Author
Age
*
Fixed review changes: Better foundInEnv naming, correct interpretation of
Simon Van Casteren
2020-01-11
|
|
|
|
SgiSgn, fix uniq
*
Refactor to do all matching on strings, more precise and faster
Simon Van Casteren
2020-01-10
|
*
Allow simple .ur files to double as .urs files for LSP
Simon Van Casteren
2020-01-08
|
*
Added some type sigs required by SMLNJ
Simon Van Casteren
2020-01-08
|
*
Return only unique diags + better formatting
Simon Van Casteren
2020-01-08
|
*
Added some more stuff to lsp getInfo and completions
Simon Van Casteren
2020-01-04
|
*
Added background threads
Simon Van Casteren
2019-12-15
|
*
Refactored state into its own module
Simon Van Casteren
2019-12-14
|
*
Parse also FFi .urs files
Simon Van Casteren
2019-12-13
|
*
Fixed ppToString
Simon Van Casteren
2019-12-13
|
*
Always add text to fileState even if elabState throws
Simon Van Casteren
2019-12-13
|
*
Added initializationOption to specify project if multiple urp files
Simon Van Casteren
2019-12-13
|
*
Moved json and lsp code into seperate modules
Simon Van Casteren
2019-12-13
|
*
Trial version of completing table fields
Simon Van Casteren
2019-12-13
|
*
Added completion suggestions for types
Simon Van Casteren
2019-12-13
|
*
Added textDocument_didClose
Simon Van Casteren
2019-12-13
|
*
Last tweak to datatype constructors autocomplete
Simon Van Casteren
2019-12-13
|
*
Tweaks to autocompletion of datatype constructors
Simon Van Casteren
2019-12-13
|
*
Added tracking of text of source files and autocomplete
Simon Van Casteren
2019-12-13
|
*
Integrated getInfo into LSP
Simon Van Casteren
2019-12-13
|
*
Use elabFile completely instead of rebuilding it partially
Simon Van Casteren
2019-12-13
|
*
Fixed parsing errors and loading of interfaces
Simon Van Casteren
2019-12-13
|
*
Add parse error comment
Simon Van Casteren
2019-12-13
|
*
First working version of publishDiagnostics
Simon Van Casteren
2019-12-13
|
*
First publishDiagnostics implementation
Simon Van Casteren
2019-12-13
|
*
First version of calculateFileState
Simon Van Casteren
2019-12-13
|
*
Started work on keeping some state in LSP server
Simon Van Casteren
2019-12-13
|
*
Added some LSP notifications support
Simon Van Casteren
2019-12-13
|
*
First actually working version of LSP
Simon Van Casteren
2019-12-13
|
*
Refactored LSP into few modules
Simon Van Casteren
2019-12-13
|
*
Added initial version of lsp
Simon Van Casteren
2019-12-13