Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Remove superfluous lambdas before guarded types | 2020-02-04 | |
| | | | | | Guarded expression abstractions (fn [c ~ c] => e) begin with a lambda, but guarded types ([c ~ c] => t) do not. | ||
* | Fix typos in kinding judgments | 2020-02-04 | |
| | | | | Kind-polymorphism is written as "X --> k", not "X -> k". | ||
* | Fix record type shorthand | 2020-02-04 | |
| | | | | | | | The syntax is {c : c}, not {c = c}. Also, replace uses of shorthand (both correct and incorrect) in semantics rules with elaborated $[c = c]. | ||
* | Merge pull request #194 from mdempsky/manual-tweaks | 2020-01-27 | |
|\ | | | | | Manual tweaks | ||
| * | Elaborate e^* and e^+ syntax | 2020-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 abstraction | 2020-01-22 | |
| | | | | | | | | Makes it slightly easier to recognize the symmetry between forms. | ||
| * | Kind variables must be bracketed in expression-level binders | 2020-01-22 | |
| | | |||
* | | 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 | |
| | | | | |