Commit message (Collapse) | Author | Files | Lines | ||
---|---|---|---|---|---|
2019-05-04 | Rename dhall_core to dhall_syntax | Nadrieril | 1 | -498/+0 | |
2019-05-02 | Update dhall-lang submodule | Nadrieril | 1 | -4/+24 | |
2019-05-02 | Update dhall-lang submodule | Nadrieril | 1 | -4/+6 | |
2019-04-20 | An empty optional value is purely semantic | Nadrieril | 1 | -8/+3 | |
2019-04-19 | A union constructor is a purely semantic value | Nadrieril | 1 | -10/+0 | |
2019-04-19 | Make App() only store one argument | Nadrieril | 1 | -10/+3 | |
2019-04-17 | Normalize union constructors | Nadrieril | 1 | -2/+12 | |
2019-04-16 | Prepare for nullary union variants | Nadrieril | 1 | -2/+9 | |
2019-04-15 | Handle empty optionals correctly | Nadrieril | 1 | -0/+8 | |
Closes #78 | |||||
2019-04-13 | Rework Expr printer with better separation of concerns | Nadrieril | 1 | -142/+136 | |
2019-04-11 | `Some` is not a builtin, it's a keyword | Nadrieril | 1 | -1/+0 | |
Closes #58 | |||||
2019-04-08 | clippy | Nadrieril | 1 | -1/+1 | |
2019-03-31 | Make Expr generic in Label | Nadrieril | 1 | -1/+1 | |
2019-03-31 | Remove evil Deref impl | Nadrieril | 1 | -0/+10 | |
2019-03-31 | Move recursion out of Expr | Nadrieril | 1 | -4/+4 | |
2019-03-31 | Make SubExpr a newtype | Nadrieril | 1 | -0/+6 | |
2019-03-24 | Parser import hash and headers | Nadrieril | 1 | -2/+21 | |
2019-03-24 | Fix printer putting unnecessary parens | Nadrieril | 1 | -1/+1 | |
2019-03-24 | Refactor printer | Nadrieril | 1 | -210/+225 | |
Avoids stupid stack overflows when adding variants, gets precedences right, and updates to latest grammar changes | |||||
2019-03-23 | Handle merge and record projection | Nadrieril | 1 | -0/+5 | |
2019-03-23 | Parse unicode escapes in string | Nadrieril | 1 | -7/+13 | |
2019-03-22 | Handle quoted labels | Nadrieril | 1 | -0/+15 | |
2019-03-22 | Parse a lot more of the import types | Nadrieril | 1 | -1/+48 | |
2019-03-21 | Improve import handling in parser | Nadrieril | 1 | -1/+13 | |
2019-03-21 | Follow the spec for handling Doubles | Nadrieril | 1 | -1/+17 | |
2019-03-21 | oops | Nadrieril | 1 | -0/+329 | |