Commit message (Collapse) | Author | Files | Lines | ||
---|---|---|---|---|---|
2019-12-15 | Move contents of dhall_syntax to dhall | Nadrieril | 1 | -500/+0 | |
2019-11-11 | Parse projection by expression | Nadrieril | 1 | -1/+7 | |
2019-11-11 | Run `cargo fmt` | Nadrieril | 1 | -2/+5 | |
2019-08-31 | Don't URL-decode path segments | Nadrieril | 1 | -17/+5 | |
2019-08-31 | Implement parsing of `toMap` keyword | Nadrieril | 1 | -0/+11 | |
2019-08-28 | Rename SubExpr to Expr, and Expr to RawExpr | Nadrieril | 1 | -3/+3 | |
For clarity, and consistency with Value | |||||
2019-08-13 | Implement inline headers parsing | Nadrieril | 1 | -10/+3 | |
2019-08-13 | Store Imports in their own node instead of in Embed | Nadrieril | 1 | -5/+11 | |
2019-08-13 | Considerably simplify Embed handling | Nadrieril | 1 | -1/+1 | |
2019-08-13 | Stop tracking the absence of Embed values at the type level | Nadrieril | 1 | -6/+0 | |
2019-08-13 | No need to track the absence of `Span`s at the type level | Nadrieril | 1 | -6/+6 | |
2019-08-12 | Refactor of File to be the combination of Directory and the file name, | FintanH | 1 | -4/+6 | |
where Directory is the Vector of component paths. The refactor meant changing some sections of the code where we were parsing and manipulating Files/Directories. This also includes a new trait Canonicalization which is needed for import logic. | |||||
2019-08-08 | Add support for dependent types | Nadrieril | 1 | -0/+4 | |
2019-08-07 | Add truncated Natural subtraction | Nadrieril | 1 | -0/+1 | |
2019-08-07 | Remove union literals from the language | Nadrieril | 1 | -10/+0 | |
2019-08-06 | Prepare for https://github.com/dhall-lang/dhall-lang/pull/630 | Nadrieril | 1 | -2/+1 | |
2019-08-06 | RFC3986 URLs | Nadrieril | 1 | -0/+1 | |
2019-08-06 | Remove old-style optional literals | Nadrieril | 1 | -8/+0 | |
2019-08-03 | Update dhall-lang submodule | Nadrieril | 1 | -1/+3 | |
2019-05-12 | Implement binary encoding | Nadrieril | 1 | -11/+18 | |
Closes #39 | |||||
2019-05-09 | ExprF need not be generic in Label | Nadrieril | 1 | -2/+2 | |
2019-05-08 | Rename the record combining operators internally | Nadrieril | 1 | -3/+3 | |
2019-05-08 | Implement normalization of missing builtins | Nadrieril | 1 | -1/+12 | |
2019-05-04 | Revert "Make SubExpr generic in the variable labels type" | Nadrieril | 1 | -27/+17 | |
This reverts commit 4c159640e5ee77ffa48b85a5bffa56350cf933ef. | |||||
2019-05-04 | Revert "Recover arrow type detection" | Nadrieril | 1 | -33/+18 | |
This reverts commit 153cf8dab3b80aba30ac3adfd44e4be251494ea2. | |||||
2019-05-04 | Recover arrow type detection | Nadrieril | 1 | -18/+33 | |
2019-05-04 | Make SubExpr generic in the variable labels type | Nadrieril | 1 | -17/+27 | |
2019-05-04 | Move `Note`s into the spine of the AST | Nadrieril | 1 | -8/+2 | |
2019-05-04 | Rename dhall_core to dhall_syntax | Nadrieril | 1 | -0/+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 | |