Commit message (Expand) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
| * | | Tweak matching on Some/None | Nadrieril | 2019-04-04 | 2 | -21/+28 | |
| * | | Roll rc through parser to enable matching | Nadrieril | 2019-04-04 | 1 | -93/+95 | |
| * | | rename | Nadrieril | 2019-04-04 | 2 | -10/+10 | |
| * | | Remove trailing whitespace from expression rules | Nadrieril | 2019-04-04 | 2 | -32/+43 | |
| * | | Rename whitespace rules | Nadrieril | 2019-04-04 | 3 | -135/+134 | |
| * | | Commit script used for dhall-lang#442 | Nadrieril | 2019-04-04 | 1 | -0/+94 | |
|/ / | ||||||
* | | Update dhall-lang submodule | Nadrieril | 2019-04-04 | 3 | -37/+37 | |
| * | Give up on laziness and greatly simplify normalization | Nadrieril | 2019-04-06 | 3 | -243/+259 | |
| * | Update dhall-lang submodule | Nadrieril | 2019-04-04 | 3 | -37/+37 | |
| * | Refactor and clarify various map methods | Nadrieril | 2019-04-01 | 4 | -128/+261 | |
| * | Make Expr generic in Label | Nadrieril | 2019-03-31 | 4 | -18/+23 | |
| * | Make quoting generic | Nadrieril | 2019-03-31 | 2 | -98/+70 | |
| * | Generalize type of map | Nadrieril | 2019-03-31 | 1 | -5/+7 | |
| * | Remove evil Deref impl | Nadrieril | 2019-03-31 | 5 | -15/+20 | |
| * | Move recursion out of Expr | Nadrieril | 2019-03-31 | 10 | -181/+170 | |
| * | rustfmt | Nadrieril | 2019-03-31 | 3 | -8/+4 | |
| * | Make SubExpr a newtype | Nadrieril | 2019-03-31 | 8 | -100/+117 | |
|/ | ||||||
* | Remove some redundant namespacing | Nadrieril | 2019-03-31 | 5 | -65/+66 | |
* | Update dhall-lang submodule | Nadrieril | 2019-03-27 | 1 | -0/+0 | |
* | Integrate the special patterns from match_children!() into iter_patterns | Nadrieril | 2019-03-27 | 3 | -135/+129 | |
* | Rename match_pair!() to match_children!() | Nadrieril | 2019-03-27 | 1 | -8/+8 | |
* | Manually rustfmt like a nazi | Nadrieril | 2019-03-27 | 7 | -103/+263 | |
* | Derive DhallType for anonymous structs and enums | Nadrieril | 2019-03-26 | 2 | -22/+147 | |
* | Derive DhallType for structs | Nadrieril | 2019-03-26 | 9 | -34/+194 | |
* | Update dhall-lange submodule | Nadrieril | 2019-03-26 | 1 | -0/+0 | |
* | Update dhall-lang submodule | Nadrieril | 2019-03-26 | 2 | -5/+5 | |
* | Lay groundwork for DhallType deriving | Nadrieril | 2019-03-24 | 7 | -2/+53 | |
* | Correctly namespace interpolations in dhall_expr!() | Nadrieril | 2019-03-24 | 3 | -22/+19 | |
* | Prepare dhall_generator for a new module | Nadrieril | 2019-03-24 | 2 | -163/+171 | |
* | Improve decoder errors on unknown inputs | Nadrieril | 2019-03-24 | 1 | -6/+2 | |
* | Update dhall-lang submodule | Nadrieril | 2019-03-24 | 1 | -0/+0 | |
* | Add standard compliance numbers to README | Nadrieril | 2019-03-24 | 1 | -0/+9 | |
* | Parse multiline strings correctly | Nadrieril | 2019-03-24 | 7 | -43/+105 | |
* | Generate parser tests list automatically | Nadrieril | 2019-03-24 | 3 | -67/+45 | |
* | Parser import hash and headers | Nadrieril | 2019-03-24 | 6 | -25/+86 | |
* | Disallow builtins as bound variables | Nadrieril | 2019-03-24 | 3 | -10/+20 | |
* | Fix printer putting unnecessary parens | Nadrieril | 2019-03-24 | 1 | -1/+1 | |
* | Refactor printer | Nadrieril | 2019-03-24 | 5 | -232/+249 | |
* | Handle merge and record projection | Nadrieril | 2019-03-23 | 5 | -20/+74 | |
* | Remove various -raw suffixes | Nadrieril | 2019-03-23 | 4 | -156/+148 | |
* | Inline various rules in grammar | Nadrieril | 2019-03-23 | 3 | -101/+54 | |
* | Rebase latest changes in grammar | Nadrieril | 2019-03-23 | 2 | -45/+75 | |
* | Improve error ergonomics in parser | Nadrieril | 2019-03-23 | 1 | -60/+55 | |
* | Update dhall-lang submodule | Nadrieril | 2019-03-23 | 3 | -6/+5 | |
* | Handle double overflows in parser | Nadrieril | 2019-03-23 | 2 | -6/+11 | |
* | Parse unicode escapes in string | Nadrieril | 2019-03-23 | 4 | -38/+48 | |
* | Handle quoted labels | Nadrieril | 2019-03-22 | 5 | -10/+23 | |
* | oops | Nadrieril | 2019-03-22 | 1 | -7/+7 | |
* | Parse a lot more of the import types | Nadrieril | 2019-03-22 | 7 | -61/+238 | |
* | Improve binary decoding errors | Nadrieril | 2019-03-22 | 1 | -14/+25 |