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 (
Expand
)
Author
Age
*
Fixed review changes: Better foundInEnv naming, correct interpretation of
Simon Van Casteren
2020-01-11
*
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