summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* fix: clippyNadrieril2020-11-012-21/+18
* feat: add location to import error messagesNadrieril2020-11-0111-10/+81
* Merge pull request #192 from Nadrieril/rework-cachingNadrieril2020-11-0117-740/+288
|\
| * Ensure that the hash always gets checkedNadrieril2020-11-015-19/+52
| * Don't pollute the dhall cache directoryNadrieril2020-11-013-36/+55
| * Typed and TypedHir are the sameNadrieril2020-11-013-33/+26
| * Untangle caching codeNadrieril2020-11-0111-662/+156
| * Store file cache in ImportEnvNadrieril2020-11-014-21/+22
| * Untangle ImportEnv::handle_importNadrieril2020-11-012-29/+37
|/
* chore: update nix shellNadrieril2020-11-011-6/+6
* Merge pull request #190 from Nadrieril/update-depsNadrieril2020-10-308-434/+600
|\
| * Add deps.rs badgeNadrieril2020-10-301-4/+7
| * Update other dependenciesNadrieril2020-10-301-312/+314
| * Update abnf dependencyNadrieril2020-10-303-14/+24
| * Update pretty dependencyNadrieril2020-10-303-36/+34
| * Update annotate-snippets dependencyNadrieril2020-10-303-15/+19
| * Update serde_cbor dependencyNadrieril2020-10-302-4/+3
| * Roll our own Value for binary decodingNadrieril2020-10-301-12/+162
| * Don't use serde_cbor::Value in binary encodingNadrieril2020-10-301-40/+40
|/
* release: serde_dhall version 0.8.0Nadrieril2020-10-285-5/+8
* release: dhall version 0.8.0Nadrieril2020-10-284-4/+4
* Merge pull request #189 from Nadrieril/serializeNadrieril2020-10-2818-224/+1278
|\
| * Fix clippy and formattingNadrieril2020-10-282-2/+4
| * Move some testsNadrieril2020-10-282-61/+59
| * Implement SimpleValue serializationNadrieril2020-10-282-16/+61
| * Move table of type correspondancesNadrieril2020-10-282-23/+26
| * Add missing documentationNadrieril2020-10-283-10/+316
| * Make type annotation optional to allow serializing SimpleValueNadrieril2020-10-288-157/+202
| * Implement serializationNadrieril2020-10-2812-72/+725
| * No need to escape underscores in pretty-printingNadrieril2020-10-285-5/+7
|/
* Merge pull request #188 from Nadrieril/change-numsNadrieril2020-10-289-50/+25
|\
| * Prefer u64/i64 to usize/isizeNadrieril2020-10-289-50/+25
|/
* fix: tweak release messageNadrieril2020-10-281-1/+1
* fix: add missing testNadrieril2020-10-281-0/+6
* Release serde_dhall version 0.7.5Nadrieril2020-10-285-5/+8
* Merge pull request #186 from Nadrieril/deserialize-simplevalueNadrieril2020-10-285-19/+148
|\
| * Make `SimpleValue` deserializable within other typesNadrieril2020-10-275-19/+148
|/
* Release serde_dhall version 0.7.4Nadrieril2020-10-255-5/+8
* Release dhall version 0.7.4Nadrieril2020-10-254-4/+4
* fix: fix changelogNadrieril2020-10-251-1/+1
* Merge pull request #181 from basile-henry/text-replaceBasile Henry2020-10-257-5/+65
|\
| * Refactor Text/replace evalBasile Henry2020-10-251-42/+29
| * Implement Text/replaceBasile Henry2020-10-253-3/+65
| * Disable With related testsBasile Henry2020-10-251-1/+10
| * Use dhall-lang v19.0Basile Henry2020-10-253-1/+3
|/
* Release serde_dhall version 0.7.3Nadrieril2020-10-245-5/+8
* fix: update changelogNadrieril2020-10-241-1/+3
* Merge pull request #183 from io12/pub-simple-valueNadrieril2020-10-243-6/+130
|\
| * Make SimpleValue public and add from_simple_value()Benjamin Levy2020-10-243-6/+130
|/
* Release serde_dhall version 0.7.2Nadrieril2020-10-245-5/+8