summaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAge
* Elaborate e^* and e^+ syntaxGravatar Matthew Dempsky2020-01-22
| | | | | | | | | | | | | Clarify that parentheses are used if and only if e consists of multiple symbols; also, that both e and the separator (if any) will be paranthesized. ("if any" is appropriate because the grammar extensions for XML include "(x[=v])*", which has no separator.) Fix the known-length type-level record syntax to indicate that commas are used to separate field descriptors. Change the pattern matching grammar to use "\mid" instead of "|" for internal consistency. (No visible change, as far as I can tell.)
* Consistently introduce application syntax before abstractionGravatar Matthew Dempsky2020-01-22
| | | | Makes it slightly easier to recognize the symmetry between forms.
* Kind variables must be bracketed in expression-level bindersGravatar Matthew Dempsky2020-01-22
|
* Merge pull request #192 from mdempsky/manual-typoGravatar Adam Chlipala2020-01-19
|\ | | | | Fix documentation typo
| * Fix documentation typoGravatar Matthew Dempsky2020-01-19
|/ | | | Cooperative threads run *un*interrupted between context-switch points.
* Merge pull request #136 from dredozubov/anchor-linksGravatar Adam Chlipala2020-01-15
|\ | | | | Same page link anchors
* \ Merge pull request #186 from FrigoEU/lspGravatar Adam Chlipala2020-01-15
|\ \ | | | | | | Language Server Protocol (LSP)
| * | Added some documentation for the LSP server to the manualGravatar Simon Van Casteren2020-01-15
| | |
| * | LSP: Improved handling of datatypes from signaturesGravatar Simon Van Casteren2020-01-12
| | |
* | | Merge pull request #185 from docelic/better-error-reportsGravatar Adam Chlipala2020-01-12
|\ \ \ | | | | | | | | Improve error messages
| | * | Fixed review changes: Better foundInEnv naming, correct interpretation ofGravatar Simon Van Casteren2020-01-11
| | | | | | | | | | | | | | | | SgiSgn, fix uniq
| | * | Change findSmallestSpan to findClosestSpan: faster at 99% of times betterGravatar Simon Van Casteren2020-01-10
| | | |
* | | | At compile time, allow '#' as a URLGravatar Adam Chlipala2020-01-10
| | | |
| | * | Refactor to do all matching on strings, more precise and fasterGravatar Simon Van Casteren2020-01-10
| | | |
| | * | Fixed smaller review remarksGravatar Simon Van Casteren2020-01-08
| | | |
| | * | Allow simple .ur files to double as .urs files for LSPGravatar Simon Van Casteren2020-01-08
| | | |
| | * | Added some type sigs required by SMLNJGravatar Simon Van Casteren2020-01-08
| | | |
| | * | Add bg_thread.dummy.sml to mock MLton threads in sml/njGravatar Simon Van Casteren2020-01-08
| | | |
| | * | Return only unique diags + better formattingGravatar Simon Van Casteren2020-01-08
| | | |
| | * | Added some more stuff to lsp getInfo and completionsGravatar Simon Van Casteren2020-01-04
| | | |
* | | | More lenient RFC 3339 parsingGravatar Adam Chlipala2019-12-23
| | | |
* | | | Merge pull request #191 from JasonGross/patch-2Gravatar Adam Chlipala2019-12-20
|\ \ \ \ | | | | | | | | | | Try using brew upgrade in Travis
* \ \ \ \ Merge branch 'master' of ssh://github.com/urweb/urwebGravatar Adam Chlipala2019-12-19
|\ \ \ \ \
* | | | | | Fix toJson for records with optional fieldsGravatar Adam Chlipala2019-12-19
| | | | | |
| | * | | | Try using brew upgrade in TravisGravatar Jason Gross2019-12-17
| |/ / / /
| * | | | Merge pull request #190 from FrigoEU/sscanfGravatar Adam Chlipala2019-12-17
|/| | | | | | | | | | | | | | Remove sscanf from blob processing
| * | | | Remove sscanf from blob processingGravatar Simon Van Casteren2019-12-17
|/ / / /
* | | | Support endpoints generation for urpless invocations (closes #187)Gravatar Adam Chlipala2019-12-16
| | | |
* | | | Merge pull request #183 from docelic/masterGravatar Adam Chlipala2019-12-15
|\ \ \ \ | | | | | | | | | | Add UNIX socket support and '-u' option to specify socket filename
| | | * | Added background threadsGravatar Simon Van Casteren2019-12-15
| | | | |
| | | * | Refactored state into its own moduleGravatar Simon Van Casteren2019-12-14
| | | | |
| | | * | Parse also FFi .urs filesGravatar Simon Van Casteren2019-12-13
| | | | |
| | | * | Fixed ppToStringGravatar Simon Van Casteren2019-12-13
| | | | |
| | | * | Always add text to fileState even if elabState throwsGravatar Simon Van Casteren2019-12-13
| | | | |
| | | * | Fixed JSON parsing: newline escapingGravatar Simon Van Casteren2019-12-13
| | | | |
| | | * | Added initializationOption to specify project if multiple urp filesGravatar Simon Van Casteren2019-12-13
| | | | |
| | | * | Moved json and lsp code into seperate modulesGravatar Simon Van Casteren2019-12-13
| | | | |
| | | * | Trial version of completing table fieldsGravatar Simon Van Casteren2019-12-13
| | | | |
| | | * | Added completion suggestions for typesGravatar Simon Van Casteren2019-12-13
| | | | |
| | | * | Added textDocument_didCloseGravatar Simon Van Casteren2019-12-13
| | | | |
| | | * | Last tweak to datatype constructors autocompleteGravatar Simon Van Casteren2019-12-13
| | | | |
| | | * | Tweaks to autocompletion of datatype constructorsGravatar Simon Van Casteren2019-12-13
| | | | |
| | | * | Added tracking of text of source files and autocompleteGravatar Simon Van Casteren2019-12-13
| | | | |
| | | * | Integrated getInfo into LSPGravatar Simon Van Casteren2019-12-13
| | | | |
| | | * | Use elabFile completely instead of rebuilding it partiallyGravatar Simon Van Casteren2019-12-13
| | | | |
| | | * | Fixed parsing errors and loading of interfacesGravatar Simon Van Casteren2019-12-13
| | | | |
| | | * | Add parse error commentGravatar Simon Van Casteren2019-12-13
| | | | |
| | | * | First working version of publishDiagnosticsGravatar Simon Van Casteren2019-12-13
| | | | |
| | | * | First publishDiagnostics implementationGravatar Simon Van Casteren2019-12-13
| | | | |
| | | * | First version of calculateFileStateGravatar Simon Van Casteren2019-12-13
| | | | |
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-28 09:53:48 +0000