Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | oops | Nadrieril | 2019-03-21 | 4 | -0/+497 |
* | Represent Optional literals more faithfully | Nadrieril | 2019-03-21 | 6 | -74/+61 |
* | Rename Record/Union to RecordType/UnionType | Nadrieril | 2019-03-21 | 5 | -17/+17 |
* | Reorganize dhall_core a bit | Nadrieril | 2019-03-21 | 8 | -1098/+558 |
* | Disable Codecov comment | Nadrieril | 2019-03-20 | 1 | -0/+1 |
* | Parser macro tweaks | Nadrieril | 2019-03-20 | 1 | -6/+6 |
* | Merge pull request #34 from Nadrieril/rewrite-parser-macros | Nadrieril Feneanar | 2019-03-20 | 11 | -641/+616 |
|\ | |||||
| * | Cleanup parser | Nadrieril | 2019-03-20 | 1 | -91/+64 |
| * | Reimplement shortcutting | Nadrieril | 2019-03-20 | 1 | -5/+13 |
| * | Make parser implementation non-recursive | Nadrieril | 2019-03-20 | 2 | -119/+129 |
| * | Allow patterns in parser macros | Nadrieril | 2019-03-20 | 1 | -31/+21 |
| * | Change syntax of parser macros | Nadrieril | 2019-03-20 | 1 | -148/+148 |
| * | Remove binop special case in parser; cleanup | Nadrieril | 2019-03-20 | 1 | -50/+66 |
| * | Cleanup parser code | Nadrieril | 2019-03-20 | 3 | -126/+50 |
| * | Restore parser performance | Nadrieril | 2019-03-20 | 1 | -310/+82 |
| * | Obsolete old parser macros; performance is now dead | Nadrieril | 2019-03-20 | 4 | -204/+278 |
| * | Handle simple parsing cases with new macros | Nadrieril | 2019-03-20 | 6 | -114/+131 |
| * | Wrap all parsing rules into a common variant | Nadrieril | 2019-03-19 | 1 | -83/+153 |
| * | Extract the core of parser macros into a separate crate | Nadrieril | 2019-03-19 | 6 | -131/+252 |
|/ | |||||
* | rustfmt | Nadrieril | 2019-03-19 | 2 | -15/+21 |
* | Test printer in parser tests | Nadrieril | 2019-03-19 | 4 | -21/+74 |
* | Add CI badges | Nadrieril | 2019-03-19 | 1 | -0/+3 |
* | CI tweaks | Nadrieril | 2019-03-19 | 3 | -5/+1 |
* | Skip build-only subcrates in code coverage | Nadrieril | 2019-03-19 | 2 | -0/+2 |
* | Cache tarpaulin build | Nadrieril | 2019-03-19 | 1 | -3/+1 |
* | Add codecov integration | Nadrieril | 2019-03-19 | 1 | -0/+2 |
* | Fix rust version to use | Nadrieril | 2019-03-19 | 2 | -3/+3 |
* | Add coveralls CI integration | Nadrieril | 2019-03-19 | 1 | -7/+2 |
* | Add travis integration | Nadrieril | 2019-03-19 | 3 | -11/+46 |
* | Implement a few more primitives | Nadrieril | 2019-03-18 | 4 | -38/+73 |
* | Split List literal between empty and non-empty | Nadrieril | 2019-03-18 | 7 | -50/+61 |
* | tweaks | Nadrieril | 2019-03-18 | 1 | -4/+14 |
* | Split off builtin application normalization for clarity | Nadrieril | 2019-03-18 | 1 | -168/+149 |
* | Improve normalization ergonomics | Nadrieril | 2019-03-18 | 1 | -145/+150 |
* | Improve ergonomics of typechecking | Nadrieril | 2019-03-18 | 1 | -354/+248 |
* | Considerably simplify subst, shift and typechecking | Nadrieril | 2019-03-18 | 5 | -491/+188 |
* | Clean up some mess relating to Clone bounds | Nadrieril | 2019-03-17 | 4 | -81/+43 |
* | Use Rc consistently everywhere | Nadrieril | 2019-03-17 | 7 | -583/+695 |
* | Use Rc instead of Box in AST to allow structural sharing | Nadrieril | 2019-03-16 | 6 | -86/+93 |
* | Use Box more uniformly in AST | Nadrieril | 2019-03-16 | 6 | -164/+171 |
* | Store an Option in OptionalLit instead of a vec | Nadrieril | 2019-03-16 | 6 | -45/+38 |
* | rustfmt | Nadrieril | 2019-03-15 | 1 | -26/+24 |
* | Get rid of box patterns | Nadrieril | 2019-03-15 | 3 | -15/+13 |
* | Store a vec in App | Nadrieril | 2019-03-15 | 6 | -174/+175 |
* | Revert "Start rewriting parser with slice patterns" | Nadrieril | 2019-03-15 | 2 | -123/+30 |
* | Start rewriting parser with slice patterns | Nadrieril | 2019-03-15 | 2 | -30/+123 |
* | Split different tests features into their own files | Nadrieril | 2019-03-15 | 4 | -238/+241 |
* | Rework test harness | Nadrieril | 2019-03-15 | 2 | -591/+594 |
* | Update spec submodule and add new tests | Nadrieril | 2019-03-15 | 2 | -1/+172 |
* | rustfmt | Nadrieril | 2019-03-14 | 1 | -5/+16 |