summaryrefslogtreecommitdiff
path: root/dhall (unfollow)
Commit message (Expand)AuthorFilesLines
2020-11-05Centralize test exclusion into a single functionNadrieril1-193/+182
2020-11-05tests: add some testsNadrieril17-0/+25
2020-11-05test: commit a forgotten fileNadrieril1-0/+6
2020-11-03Remove NirInternalNadrieril2-50/+23
2020-11-03Typecheck `with` using mutationNadrieril3-45/+25
2020-11-03Normalize `with` by mutation.Nadrieril4-57/+66
2020-11-03Try to keep ownership of `Nir`s when convenientNadrieril2-55/+52
2020-11-02tests: add regression tests for `with` kind inferenceNadrieril4-0/+9
2020-11-02Handle record type properlyBasile Henry1-1/+1
2020-11-02Inline helper functionBasile Henry1-8/+4
2020-11-02Refactor following PR reviewBasile Henry2-29/+20
2020-11-01Handle partially abstract withBasile Henry2-12/+29
2020-11-01Implement normalization for With opBasile Henry1-2/+43
2020-11-01Implement type checking for With opBasile Henry5-41/+57
2020-11-01fix: clippyNadrieril2-21/+18
2020-11-01feat: add location to import error messagesNadrieril11-10/+81
2020-11-01Ensure that the hash always gets checkedNadrieril5-19/+52
2020-11-01Don't pollute the dhall cache directoryNadrieril2-36/+48
2020-11-01Typed and TypedHir are the sameNadrieril3-33/+26
2020-11-01Untangle caching codeNadrieril11-662/+156
2020-11-01Store file cache in ImportEnvNadrieril4-21/+22
2020-11-01Untangle ImportEnv::handle_importNadrieril2-29/+37
2020-11-01Allow `Text/replace ` to support an abstract haystackBasile Henry1-22/+28
2020-10-30Update annotate-snippets dependencyNadrieril2-13/+14
2020-10-30Update serde_cbor dependencyNadrieril1-1/+1
2020-10-30Roll our own Value for binary decodingNadrieril1-12/+162
2020-10-30Don't use serde_cbor::Value in binary encodingNadrieril1-40/+40
2020-10-28release: dhall version 0.8.0Nadrieril2-2/+2
2020-10-28No need to escape underscores in pretty-printingNadrieril5-5/+7
2020-10-28Prefer u64/i64 to usize/isizeNadrieril3-9/+8
2020-10-28fix: add missing testNadrieril1-0/+6
2020-10-27Make `SimpleValue` deserializable within other typesNadrieril1-0/+1
2020-10-25Release dhall version 0.7.4Nadrieril2-2/+2
2020-10-25Refactor Text/replace evalBasile Henry1-42/+29
2020-10-25Implement Text/replaceBasile Henry3-3/+65
2020-10-25Disable With related testsBasile Henry1-1/+10
2020-10-24Release dhall version 0.7.2Nadrieril2-2/+2
2020-10-16chore: use latest libtest-mimicNadrieril1-2/+1
2020-10-10Make reqwest an optional dependencyBasile Henry2-2/+9
2020-09-15Release dhall version 0.7.0Nadrieril2-2/+2
2020-09-14spec: Enable `with` optimizationsNadrieril15-31/+80
2020-08-05fix: fix Cargo.toml for publicationNadrieril1-0/+1
2020-08-05Release dhall version 0.6.0Nadrieril2-2/+2
2020-06-25spec: allow trailing delimitersNadrieril25-6/+51
2020-06-25test: mark excluded tests as ignored instead of deleting themNadrieril1-11/+6
2020-06-25fix: always set XDG_CACHE_HOME in tests.Nadrieril1-10/+11
2020-06-25fix: exclude prelude test for nowNadrieril1-1/+3
2020-06-25fix: ignore a test on WindowsNadrieril1-0/+1
2020-06-25spec: support Dhall v17.0.0Nadrieril15-0/+90
2020-06-25spec!: remove Optional/build and Optional/foldNadrieril6-48/+28