summaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
* Move Value, SimpleValue and SimpleType to serdeNadrieril2020-03-318-248/+257
|
* Brutally make all of dhall pubNadrieril2020-03-3128-124/+125
|
* Revert "Start overengineering SimpleVal/Ty"Nadrieril2020-03-311-120/+31
| | | | This reverts commit ee9ee1e0ae26bd7fe718a1f8cbe56370ccf969a7.
* Start overengineering SimpleVal/TyNadrieril2020-03-311-31/+120
|
* Nir::normalize isn't usefulNadrieril2020-03-314-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 NirNadrieril2020-03-315-86/+66
|
* Reorganize serde modulesNadrieril2020-03-317-209/+182
|
* Move conversion to SimpleVal/Ty to simple moduleNadrieril2020-03-313-84/+84
|
* Use dhall::Value more in serdeNadrieril2020-03-313-36/+34
|
* Remove top-level Expr aliasesNadrieril2020-03-318-45/+32
|
* Rename LitKind to NumKindNadrieril2020-03-3112-107/+107
|
* Limit dependency on NormalizedNadrieril2020-03-312-84/+42
|
* Remove Normalized and friends from public APINadrieril2020-03-314-32/+21
|
* Add new Value type in APINadrieril2020-03-314-33/+86
|
* Add SimpleType to mirror SimpleValueNadrieril2020-03-315-37/+138
|
* Split serde_dhall::Value to separate values from typesNadrieril2020-03-316-42/+88
|
* Add SimpleValue type to facilitate deserializationNadrieril2020-03-316-75/+119
|
* Merge pull request #156 from Nadrieril/fix-155Nadrieril2020-03-31116-131/+128
|\ | | | | Fix #155
| * Fix indexing for spans that go to the end of the inputNadrieril2020-03-312-5/+10
| |
| * Upgrade annotate-snippets versionNadrieril2020-03-31115-127/+119
|/
* Tweak changelog againNadrieril2020-03-211-5/+5
|
* Tweak READMENadrieril2020-03-211-5/+5
|
* Merge pull request #153 from Nadrieril/grcovNadrieril Feneanar2020-03-203-15/+90
|\ | | | | Use grcov for coverage
| * Split coverage by featureNadrieril2020-03-201-0/+50
| |
| * Add coverage gathering with grcovNadrieril2020-03-203-15/+40
|/
* Reduce duplication in build.rsNadrieril2020-03-201-37/+40
|
* No need for `extern crate proc_macro` anymoreNadrieril2020-03-201-2/+0
| | | | Since 1.42.0
* Fix version in READMENadrieril2020-03-201-1/+1
|
* Merge pull request #152 from Nadrieril/test-printerNadrieril Feneanar2020-03-20245-48/+324
|\ | | | | Include printer output in tests
| * Remove more unnecessary parens in printerNadrieril2020-03-2020-27/+52
| |
| * Commit output of printerNadrieril2020-03-20242-38/+289
|/
* Merge pull request #151 from Nadrieril/rfc-urls2Nadrieril Feneanar2020-03-205-28/+27
|\ | | | | Parse RFC3986 URLs
| * Parse RFC3986 URLsNadrieril2020-03-205-28/+27
|/
* Improve README badgesNadrieril2020-03-201-6/+14
|
* Merge pull request #150 from Nadrieril/update-pecoNadrieril Feneanar2020-03-182-7/+6
|\ | | | | Update to latest pest_consume to remove spurious clippy warning
| * Update to latest pest_consume to remove spurious clippy warningNadrieril2020-03-182-7/+6
|/
* Merge pull request #149 from Nadrieril/ci_matrixNadrieril Feneanar2020-03-185-23/+93
|\ | | | | Setup CI to test with various toolchains
| * Reorganize CI workflowsNadrieril2020-03-184-98/+131
| |
| * Don't upload coverage for all toolchainsNadrieril2020-03-181-5/+27
| |
| * Setup CI to test with various toolchainsNadrieril2020-03-183-1/+16
|/
* Merge pull request #148 from Nadrieril/releaseNadrieril Feneanar2020-03-188-14/+14
|\ | | | | Cut release
| * Cut releaseNadrieril2020-03-188-14/+14
|/
* Update READMENadrieril2020-03-181-0/+1
|
* Merge pull request #146 from Nadrieril/never_neverNadrieril Feneanar2020-03-186-22/+21
|\ | | | | Use stable toolchain 🎉
| * Use stable toolchainNadrieril2020-03-172-3/+2
| | | | | | | | Closes #51
| * Remove never_type featureNadrieril2020-03-174-19/+19
|/
* Merge pull request #145 from Nadrieril/upgradeNadrieril Feneanar2020-03-174-301/+226
|\ | | | | Upgrade toolchain and dependencies
| * Upgrade some dependenciesNadrieril2020-03-173-12/+21
| |
| * Update dependenciesNadrieril2020-03-171-288/+204
| |
| * Upgrade toolchainNadrieril2020-03-171-1/+1
|/