Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Merge pull request #193 from mdempsky/monad-kind | 2020-01-21 | |
|\ | | | | | monad has kind (Type->Type)->Type, not just Type->Type | ||
| * | monad has kind (Type->Type)->Type, not just Type->Type | 2020-01-21 | |
|/ | |||
* | Merge pull request #192 from mdempsky/manual-typo | 2020-01-19 | |
|\ | | | | | Fix documentation typo | ||
| * | Fix documentation typo | 2020-01-19 | |
|/ | | | | Cooperative threads run *un*interrupted between context-switch points. | ||
* | Merge pull request #136 from dredozubov/anchor-links | 2020-01-15 | |
|\ | | | | | Same page link anchors | ||
* \ | Merge pull request #186 from FrigoEU/lsp | 2020-01-15 | |
|\ \ | | | | | | | Language Server Protocol (LSP) | ||
| * | | Added some documentation for the LSP server to the manual | 2020-01-15 | |
| | | | |||
| * | | LSP: Improved handling of datatypes from signatures | 2020-01-12 | |
| | | | |||
* | | | Merge pull request #185 from docelic/better-error-reports | 2020-01-12 | |
|\ \ \ | | | | | | | | | Improve error messages | ||
| | * | | Fixed review changes: Better foundInEnv naming, correct interpretation of | 2020-01-11 | |
| | | | | | | | | | | | | | | | | SgiSgn, fix uniq | ||
| | * | | Change findSmallestSpan to findClosestSpan: faster at 99% of times better | 2020-01-10 | |
| | | | | |||
* | | | | At compile time, allow '#' as a URL | 2020-01-10 | |
| | | | | |||
| | * | | Refactor to do all matching on strings, more precise and faster | 2020-01-10 | |
| | | | | |||
| | * | | Fixed smaller review remarks | 2020-01-08 | |
| | | | | |||
| | * | | Allow simple .ur files to double as .urs files for LSP | 2020-01-08 | |
| | | | | |||
| | * | | Added some type sigs required by SMLNJ | 2020-01-08 | |
| | | | | |||
| | * | | Add bg_thread.dummy.sml to mock MLton threads in sml/nj | 2020-01-08 | |
| | | | | |||
| | * | | Return only unique diags + better formatting | 2020-01-08 | |
| | | | | |||
| | * | | Added some more stuff to lsp getInfo and completions | 2020-01-04 | |
| | | | | |||
* | | | | More lenient RFC 3339 parsing | 2019-12-23 | |
| | | | | |||
* | | | | Merge pull request #191 from JasonGross/patch-2 | 2019-12-20 | |
|\ \ \ \ | | | | | | | | | | | Try using brew upgrade in Travis | ||
* \ \ \ \ | Merge branch 'master' of ssh://github.com/urweb/urweb | 2019-12-19 | |
|\ \ \ \ \ | |||
* | | | | | | Fix toJson for records with optional fields | 2019-12-19 | |
| | | | | | | |||
| | * | | | | Try using brew upgrade in Travis | 2019-12-17 | |
| |/ / / / | |||
| * | | | | Merge pull request #190 from FrigoEU/sscanf | 2019-12-17 | |
|/| | | | | | | | | | | | | | | Remove sscanf from blob processing | ||
| * | | | | Remove sscanf from blob processing | 2019-12-17 | |
|/ / / / | |||
* | | | | Support endpoints generation for urpless invocations (closes #187) | 2019-12-16 | |
| | | | | |||
* | | | | Merge pull request #183 from docelic/master | 2019-12-15 | |
|\ \ \ \ | | | | | | | | | | | Add UNIX socket support and '-u' option to specify socket filename | ||
| | | * | | Added background threads | 2019-12-15 | |
| | | | | | |||
| | | * | | Refactored state into its own module | 2019-12-14 | |
| | | | | | |||
| | | * | | Parse also FFi .urs files | 2019-12-13 | |
| | | | | | |||
| | | * | | Fixed ppToString | 2019-12-13 | |
| | | | | | |||
| | | * | | Always add text to fileState even if elabState throws | 2019-12-13 | |
| | | | | | |||
| | | * | | Fixed JSON parsing: newline escaping | 2019-12-13 | |
| | | | | | |||
| | | * | | Added initializationOption to specify project if multiple urp files | 2019-12-13 | |
| | | | | | |||
| | | * | | Moved json and lsp code into seperate modules | 2019-12-13 | |
| | | | | | |||
| | | * | | Trial version of completing table fields | 2019-12-13 | |
| | | | | | |||
| | | * | | Added completion suggestions for types | 2019-12-13 | |
| | | | | | |||
| | | * | | Added textDocument_didClose | 2019-12-13 | |
| | | | | | |||
| | | * | | Last tweak to datatype constructors autocomplete | 2019-12-13 | |
| | | | | | |||
| | | * | | Tweaks to autocompletion of datatype constructors | 2019-12-13 | |
| | | | | | |||
| | | * | | Added tracking of text of source files and autocomplete | 2019-12-13 | |
| | | | | | |||
| | | * | | Integrated getInfo into LSP | 2019-12-13 | |
| | | | | | |||
| | | * | | Use elabFile completely instead of rebuilding it partially | 2019-12-13 | |
| | | | | | |||
| | | * | | Fixed parsing errors and loading of interfaces | 2019-12-13 | |
| | | | | | |||
| | | * | | Add parse error comment | 2019-12-13 | |
| | | | | | |||
| | | * | | First working version of publishDiagnostics | 2019-12-13 | |
| | | | | | |||
| | | * | | First publishDiagnostics implementation | 2019-12-13 | |
| | | | | | |||
| | | * | | First version of calculateFileState | 2019-12-13 | |
| | | | | | |||
| | | * | | Started work on keeping some state in LSP server | 2019-12-13 | |
| | | | | |