Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Move Value, SimpleValue and SimpleType to serde | Nadrieril | 2020-03-31 | 8 | -248/+257 |
| | |||||
* | Brutally make all of dhall pub | Nadrieril | 2020-03-31 | 28 | -124/+125 |
| | |||||
* | Revert "Start overengineering SimpleVal/Ty" | Nadrieril | 2020-03-31 | 1 | -120/+31 |
| | | | | This reverts commit ee9ee1e0ae26bd7fe718a1f8cbe56370ccf969a7. | ||||
* | Start overengineering SimpleVal/Ty | Nadrieril | 2020-03-31 | 1 | -31/+120 |
| | |||||
* | Nir::normalize isn't useful | Nadrieril | 2020-03-31 | 4 | -90/+3 |
| | | | | | It pretends to normalize but actually can't normalize under lambdas. The correct way to normalize a Nir is to convert it to Hir. | ||||
* | Improve handling of builtin types in Nir | Nadrieril | 2020-03-31 | 5 | -86/+66 |
| | |||||
* | Reorganize serde modules | Nadrieril | 2020-03-31 | 7 | -209/+182 |
| | |||||
* | Move conversion to SimpleVal/Ty to simple module | Nadrieril | 2020-03-31 | 3 | -84/+84 |
| | |||||
* | Use dhall::Value more in serde | Nadrieril | 2020-03-31 | 3 | -36/+34 |
| | |||||
* | Remove top-level Expr aliases | Nadrieril | 2020-03-31 | 8 | -45/+32 |
| | |||||
* | Rename LitKind to NumKind | Nadrieril | 2020-03-31 | 12 | -107/+107 |
| | |||||
* | Limit dependency on Normalized | Nadrieril | 2020-03-31 | 2 | -84/+42 |
| | |||||
* | Remove Normalized and friends from public API | Nadrieril | 2020-03-31 | 4 | -32/+21 |
| | |||||
* | Add new Value type in API | Nadrieril | 2020-03-31 | 4 | -33/+86 |
| | |||||
* | Add SimpleType to mirror SimpleValue | Nadrieril | 2020-03-31 | 5 | -37/+138 |
| | |||||
* | Split serde_dhall::Value to separate values from types | Nadrieril | 2020-03-31 | 6 | -42/+88 |
| | |||||
* | Add SimpleValue type to facilitate deserialization | Nadrieril | 2020-03-31 | 6 | -75/+119 |
| | |||||
* | Merge pull request #156 from Nadrieril/fix-155 | Nadrieril | 2020-03-31 | 116 | -131/+128 |
|\ | | | | | Fix #155 | ||||
| * | Fix indexing for spans that go to the end of the input | Nadrieril | 2020-03-31 | 2 | -5/+10 |
| | | |||||
| * | Upgrade annotate-snippets version | Nadrieril | 2020-03-31 | 115 | -127/+119 |
|/ | |||||
* | Tweak changelog again | Nadrieril | 2020-03-21 | 1 | -5/+5 |
| | |||||
* | Tweak README | Nadrieril | 2020-03-21 | 1 | -5/+5 |
| | |||||
* | Merge pull request #153 from Nadrieril/grcov | Nadrieril Feneanar | 2020-03-20 | 3 | -15/+90 |
|\ | | | | | Use grcov for coverage | ||||
| * | Split coverage by feature | Nadrieril | 2020-03-20 | 1 | -0/+50 |
| | | |||||
| * | Add coverage gathering with grcov | Nadrieril | 2020-03-20 | 3 | -15/+40 |
|/ | |||||
* | Reduce duplication in build.rs | Nadrieril | 2020-03-20 | 1 | -37/+40 |
| | |||||
* | No need for `extern crate proc_macro` anymore | Nadrieril | 2020-03-20 | 1 | -2/+0 |
| | | | | Since 1.42.0 | ||||
* | Fix version in README | Nadrieril | 2020-03-20 | 1 | -1/+1 |
| | |||||
* | Merge pull request #152 from Nadrieril/test-printer | Nadrieril Feneanar | 2020-03-20 | 245 | -48/+324 |
|\ | | | | | Include printer output in tests | ||||
| * | Remove more unnecessary parens in printer | Nadrieril | 2020-03-20 | 20 | -27/+52 |
| | | |||||
| * | Commit output of printer | Nadrieril | 2020-03-20 | 242 | -38/+289 |
|/ | |||||
* | Merge pull request #151 from Nadrieril/rfc-urls2 | Nadrieril Feneanar | 2020-03-20 | 5 | -28/+27 |
|\ | | | | | Parse RFC3986 URLs | ||||
| * | Parse RFC3986 URLs | Nadrieril | 2020-03-20 | 5 | -28/+27 |
|/ | |||||
* | Improve README badges | Nadrieril | 2020-03-20 | 1 | -6/+14 |
| | |||||
* | Merge pull request #150 from Nadrieril/update-peco | Nadrieril Feneanar | 2020-03-18 | 2 | -7/+6 |
|\ | | | | | Update to latest pest_consume to remove spurious clippy warning | ||||
| * | Update to latest pest_consume to remove spurious clippy warning | Nadrieril | 2020-03-18 | 2 | -7/+6 |
|/ | |||||
* | Merge pull request #149 from Nadrieril/ci_matrix | Nadrieril Feneanar | 2020-03-18 | 5 | -23/+93 |
|\ | | | | | Setup CI to test with various toolchains | ||||
| * | Reorganize CI workflows | Nadrieril | 2020-03-18 | 4 | -98/+131 |
| | | |||||
| * | Don't upload coverage for all toolchains | Nadrieril | 2020-03-18 | 1 | -5/+27 |
| | | |||||
| * | Setup CI to test with various toolchains | Nadrieril | 2020-03-18 | 3 | -1/+16 |
|/ | |||||
* | Merge pull request #148 from Nadrieril/release | Nadrieril Feneanar | 2020-03-18 | 8 | -14/+14 |
|\ | | | | | Cut release | ||||
| * | Cut release | Nadrieril | 2020-03-18 | 8 | -14/+14 |
|/ | |||||
* | Update README | Nadrieril | 2020-03-18 | 1 | -0/+1 |
| | |||||
* | Merge pull request #146 from Nadrieril/never_never | Nadrieril Feneanar | 2020-03-18 | 6 | -22/+21 |
|\ | | | | | Use stable toolchain 🎉 | ||||
| * | Use stable toolchain | Nadrieril | 2020-03-17 | 2 | -3/+2 |
| | | | | | | | | Closes #51 | ||||
| * | Remove never_type feature | Nadrieril | 2020-03-17 | 4 | -19/+19 |
|/ | |||||
* | Merge pull request #145 from Nadrieril/upgrade | Nadrieril Feneanar | 2020-03-17 | 4 | -301/+226 |
|\ | | | | | Upgrade toolchain and dependencies | ||||
| * | Upgrade some dependencies | Nadrieril | 2020-03-17 | 3 | -12/+21 |
| | | |||||
| * | Update dependencies | Nadrieril | 2020-03-17 | 1 | -288/+204 |
| | | |||||
| * | Upgrade toolchain | Nadrieril | 2020-03-17 | 1 | -1/+1 |
|/ |