Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Stop putting extraneous files in release tarballs20200209 | Adam Chlipala | 2020-02-09 |
| | |||
* | New release | Adam Chlipala | 2020-02-09 |
| | |||
* | List.foldli | Adam Chlipala | 2020-02-07 |
| | |||
* | Fix signature matching of an imported datatype vs. a fresh datatype | Adam Chlipala | 2020-02-07 |
| | |||
* | Merge pull request #196 from mdempsky/manual-edits | Adam Chlipala | 2020-02-06 |
|\ | | | | | Manual edits | ||
| * | Remove superfluous lambdas before guarded types | Matthew Dempsky | 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 | Matthew Dempsky | 2020-02-04 |
| | | | | | | | | Kind-polymorphism is written as "X --> k", not "X -> k". | ||
| * | Fix record type shorthand | Matthew Dempsky | 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 | Adam Chlipala | 2020-01-27 |
|\ | | | | | Manual tweaks | ||
| * | Elaborate e^* and e^+ syntax | Matthew Dempsky | 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 | Matthew Dempsky | 2020-01-22 |
| | | | | | | | | Makes it slightly easier to recognize the symmetry between forms. | ||
| * | Kind variables must be bracketed in expression-level binders | Matthew Dempsky | 2020-01-22 |
| | | |||
* | | Merge pull request #193 from mdempsky/monad-kind | Adam Chlipala | 2020-01-21 |
|\ \ | |/ |/| | monad has kind (Type->Type)->Type, not just Type->Type | ||
| * | monad has kind (Type->Type)->Type, not just Type->Type | Matthew Dempsky | 2020-01-21 |
|/ | |||
* | Merge pull request #192 from mdempsky/manual-typo | Adam Chlipala | 2020-01-19 |
|\ | | | | | Fix documentation typo | ||
| * | Fix documentation typo | Matthew Dempsky | 2020-01-19 |
|/ | | | | Cooperative threads run *un*interrupted between context-switch points. | ||
* | Merge pull request #136 from dredozubov/anchor-links | Adam Chlipala | 2020-01-15 |
|\ | | | | | Same page link anchors | ||
* \ | Merge pull request #186 from FrigoEU/lsp | Adam Chlipala | 2020-01-15 |
|\ \ | | | | | | | Language Server Protocol (LSP) | ||
| * | | Added some documentation for the LSP server to the manual | Simon Van Casteren | 2020-01-15 |
| | | | |||
| * | | LSP: Improved handling of datatypes from signatures | Simon Van Casteren | 2020-01-12 |
| | | | |||
* | | | Merge pull request #185 from docelic/better-error-reports | Adam Chlipala | 2020-01-12 |
|\ \ \ | | | | | | | | | Improve error messages | ||
| | * | | Fixed review changes: Better foundInEnv naming, correct interpretation of | Simon Van Casteren | 2020-01-11 |
| | | | | | | | | | | | | | | | | SgiSgn, fix uniq | ||
| | * | | Change findSmallestSpan to findClosestSpan: faster at 99% of times better | Simon Van Casteren | 2020-01-10 |
| | | | | |||
* | | | | At compile time, allow '#' as a URL | Adam Chlipala | 2020-01-10 |
| | | | | |||
| | * | | Refactor to do all matching on strings, more precise and faster | Simon Van Casteren | 2020-01-10 |
| | | | | |||
| | * | | Fixed smaller review remarks | Simon Van Casteren | 2020-01-08 |
| | | | | |||
| | * | | 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 |
| | | | | |||
| | * | | Add bg_thread.dummy.sml to mock MLton threads in sml/nj | 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 |
| | | | | |||
* | | | | More lenient RFC 3339 parsing | Adam Chlipala | 2019-12-23 |
| | | | | |||
* | | | | Merge pull request #191 from JasonGross/patch-2 | Adam Chlipala | 2019-12-20 |
|\ \ \ \ | | | | | | | | | | | Try using brew upgrade in Travis | ||
* \ \ \ \ | Merge branch 'master' of ssh://github.com/urweb/urweb | Adam Chlipala | 2019-12-19 |
|\ \ \ \ \ | |||
* | | | | | | Fix toJson for records with optional fields | Adam Chlipala | 2019-12-19 |
| | | | | | | |||
| | * | | | | Try using brew upgrade in Travis | Jason Gross | 2019-12-17 |
| |/ / / / | |||
| * | | | | Merge pull request #190 from FrigoEU/sscanf | Adam Chlipala | 2019-12-17 |
|/| | | | | | | | | | | | | | | Remove sscanf from blob processing | ||
| * | | | | Remove sscanf from blob processing | Simon Van Casteren | 2019-12-17 |
|/ / / / | |||
* | | | | Support endpoints generation for urpless invocations (closes #187) | Adam Chlipala | 2019-12-16 |
| | | | | |||
* | | | | Merge pull request #183 from docelic/master | Adam Chlipala | 2019-12-15 |
|\ \ \ \ | | | | | | | | | | | Add UNIX socket support and '-u' option to specify socket filename | ||
| | | * | | 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 |
| | | | | | |||
| | | * | | Fixed JSON parsing: newline escaping | 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 |
| | | | | |