| Commit message (Expand) | Author | Files | Lines |
2019-12-24 | Extend merge to work on Optionals | Nadrieril | 1 | -0/+1 |
2019-12-23 | Update dhall-lang submodule | Nadrieril | 1 | -0/+4 |
2019-12-22 | Implement parsing for record completion | Nadrieril | 1 | -0/+2 |
2019-12-17 | Move pest file generation to dhall/build.rs | Nadrieril | 1 | -0/+0 |
2019-12-13 | Merge dhall_generated_parser into dhall_syntax | Nadrieril | 1 | -0/+0 |
2019-09-05 | Implement rule aliasing and simplify parser code | Nadrieril | 1 | -9/+9 |
2019-08-27 | Rework parse macros to avoid the large ParsedValue enum | Nadrieril | 1 | -1/+1 |
2019-08-27 | Remove rule aliasing | Nadrieril | 1 | -1/+1 |
2019-08-26 | Match on rules in parser instead of on ParsedValues | Nadrieril | 1 | -1/+1 |
2019-08-15 | Use precedence climbing to parse expressions with operators | Nadrieril | 1 | -5/+5 |
2019-08-12 | Remove grammar workaround | Nadrieril | 1 | -0/+1 |
2019-08-08 | Add support for dependent types | Nadrieril | 1 | -0/+3 |
2019-08-07 | Add truncated Natural subtraction | Nadrieril | 1 | -0/+1 |
2019-08-07 | Remove union literals from the language | Nadrieril | 1 | -4/+2 |
2019-08-07 | Forbid surrogate pairs and non-characters | Nadrieril | 1 | -0/+1 |
2019-08-06 | Add toMap keyword | Nadrieril | 1 | -0/+1 |
2019-08-06 | Change URL parsing | Nadrieril | 1 | -1/+3 |
2019-08-06 | RFC3986 URLs | Nadrieril | 1 | -0/+1 |
2019-08-06 | Braced escape sequences | Nadrieril | 1 | -0/+1 |
2019-08-06 | Remove old-style optional literals | Nadrieril | 1 | -2/+0 |
2019-08-03 | Update dhall-lang submodule | Nadrieril | 1 | -0/+1 |
2019-05-02 | Update dhall-lang submodule | Nadrieril | 1 | -1/+1 |
2019-05-02 | Update dhall-lang submodule | Nadrieril | 1 | -3/+35 |
2019-05-02 | Update dhall-lang submodule | Nadrieril | 1 | -2/+2 |
2019-04-16 | Update dhall-lang submodule | Nadrieril | 1 | -1/+2 |
2019-04-16 | Tiny rename to save myself a lot of pain | Nadrieril | 1 | -1/+1 |
2019-04-13 | Clarify role of dhall_generated_parser crate | Nadrieril | 1 | -0/+0 |
2019-04-04 | Regen visibility list | Nadrieril | 1 | -41/+25 |
2019-04-04 | Revert end_of_line handling to upstream | Nadrieril | 1 | -2/+1 |
2019-04-04 | Get keyword rule from upstream | Nadrieril | 1 | -0/+1 |
2019-04-04 | Factor literal-expression back in | Nadrieril | 1 | -2/+1 |
2019-04-04 | Factor back in some rule branches | Nadrieril | 1 | -15/+7 |
2019-04-04 | Rename whitespace rules | Nadrieril | 1 | -3/+2 |
2019-03-23 | Remove various -raw suffixes | Nadrieril | 1 | -39/+33 |
2019-03-23 | Inline various rules in grammar | Nadrieril | 1 | -2/+0 |
2019-03-23 | Rebase latest changes in grammar | Nadrieril | 1 | -0/+5 |
2019-03-22 | Parse a lot more of the import types | Nadrieril | 1 | -18/+18 |
2019-03-21 | Improve import handling in parser | Nadrieril | 1 | -1/+1 |
2019-03-20 | Handle simple parsing cases with new macros | Nadrieril | 1 | -1/+1 |
2019-03-19 | Test printer in parser tests | Nadrieril | 1 | -0/+1 |
2019-03-14 | Handle and parse interpolated strings | Nadrieril | 1 | -1/+1 |
2019-03-07 | Use upstream pest | Nadrieril | 1 | -0/+1 |
2019-03-06 | Start parsing imports | Nadrieril | 1 | -1/+1 |
2019-03-05 | Parse doubles | Nadrieril | 1 | -1/+1 |
2019-03-05 | Add literal_expression_raw back | Nadrieril | 1 | -1/+1 |
2019-03-05 | Parse single quote literals | Nadrieril | 1 | -2/+3 |
2019-03-05 | Parse more of the AST | Nadrieril | 1 | -2/+2 |
2019-03-03 | Extract iter-matching code | Nadrieril | 1 | -1/+0 |
2019-03-03 | Parse more AST nodes | Nadrieril | 1 | -1/+1 |
2019-03-02 | Start implementing parsing on top of pest | Nadrieril | 1 | -84/+98 |