Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Make SubExpr generic in the variable labels type | Nadrieril | 2019-05-04 | 1 | -9/+13 |
| | |||||
* | Rename dhall_core to dhall_syntax | Nadrieril | 2019-05-04 | 1 | -2/+2 |
| | |||||
* | Update dhall-lang submodule | Nadrieril | 2019-05-02 | 1 | -1/+1 |
| | |||||
* | An empty optional value is purely semantic | Nadrieril | 2019-04-20 | 1 | -1/+1 |
| | |||||
* | Make App() only store one argument | Nadrieril | 2019-04-19 | 1 | -6/+6 |
| | |||||
* | Prepare for nullary union variants | Nadrieril | 2019-04-16 | 1 | -2/+20 |
| | |||||
* | Handle empty optionals correctly | Nadrieril | 2019-04-15 | 1 | -2/+2 |
| | | | | Closes #78 | ||||
* | Fix `let` parsing | Nadrieril | 2019-04-13 | 1 | -0/+1 |
| | |||||
* | clippy | Nadrieril | 2019-04-08 | 1 | -15/+15 |
| | |||||
* | Fix | Nadrieril | 2019-04-07 | 1 | -0/+1 |
| | |||||
* | Move recursion out of Expr | Nadrieril | 2019-03-31 | 1 | -2/+2 |
| | |||||
* | Make SubExpr a newtype | Nadrieril | 2019-03-31 | 1 | -2/+1 |
| | |||||
* | Improve decoder errors on unknown inputs | Nadrieril | 2019-03-24 | 1 | -6/+2 |
| | |||||
* | Parser import hash and headers | Nadrieril | 2019-03-24 | 1 | -5/+30 |
| | |||||
* | Parse a lot more of the import types | Nadrieril | 2019-03-22 | 1 | -10/+83 |
| | |||||
* | Improve binary decoding errors | Nadrieril | 2019-03-22 | 1 | -14/+25 |
| | |||||
* | Improve import handling in parser | Nadrieril | 2019-03-21 | 1 | -0/+15 |
| | |||||
* | Follow the spec for handling Doubles | Nadrieril | 2019-03-21 | 1 | -1/+1 |
| | |||||
* | Represent Optional literals more faithfully | Nadrieril | 2019-03-21 | 1 | -3/+3 |
| | |||||
* | Rename Record/Union to RecordType/UnionType | Nadrieril | 2019-03-21 | 1 | -2/+2 |
| | |||||
* | Split List literal between empty and non-empty | Nadrieril | 2019-03-18 | 1 | -2/+2 |
| | |||||
* | Use Rc consistently everywhere | Nadrieril | 2019-03-17 | 1 | -5/+4 |
| | |||||
* | Use Rc instead of Box in AST to allow structural sharing | Nadrieril | 2019-03-16 | 1 | -1/+2 |
| | | | | Closes #29 | ||||
* | Use Box more uniformly in AST | Nadrieril | 2019-03-16 | 1 | -72/+73 |
| | | | | Closes #28 | ||||
* | Store an Option in OptionalLit instead of a vec | Nadrieril | 2019-03-16 | 1 | -5/+5 |
| | | | | Closes #21 | ||||
* | Store a vec in App | Nadrieril | 2019-03-15 | 1 | -10/+8 |
| | | | | Closes #26 | ||||
* | Handle and parse interpolated strings | Nadrieril | 2019-03-14 | 1 | -3/+15 |
| | | | | Closes #25 | ||||
* | Implement binary decoding | Nadrieril | 2019-03-14 | 1 | -0/+213 |
Closes #2 Closes #23 |