summaryrefslogtreecommitdiff
path: root/dhall/tests (unfollow)
Commit message (Expand)AuthorFilesLines
2020-12-07Thread cx everywhere else imports are readNadrieril1-15/+12
2020-12-07Thread cx through normalizationNadrieril1-78/+80
2020-12-06Exclude the new test on WindowsNadrieril1-0/+1
2020-12-06An import location is not independent from the import modeNadrieril3-4/+2
2020-12-06Prepare `ImportLocation` for more fieldsNadrieril1-1/+1
2020-12-06Add testNadrieril3-0/+4
2020-11-27If can return a typeBasile Henry2-8/+2
2020-11-05tests: commit a forgotten outputNadrieril1-0/+6
2020-11-05Overwrite test outputs with a `--bless` optionNadrieril1-15/+25
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-02tests: add regression tests for `with` kind inferenceNadrieril4-0/+9
2020-11-01Handle partially abstract withBasile Henry1-4/+0
2020-11-01Implement type checking for With opBasile Henry3-10/+5
2020-11-01feat: add location to import error messagesNadrieril10-8/+71
2020-11-01Ensure that the hash always gets checkedNadrieril3-0/+12
2020-11-01Don't pollute the dhall cache directoryNadrieril1-33/+47
2020-11-01Untangle caching codeNadrieril1-1/+1
2020-10-28No need to escape underscores in pretty-printingNadrieril4-4/+4
2020-10-28fix: add missing testNadrieril1-0/+6
2020-10-25Implement Text/replaceBasile Henry1-1/+1
2020-10-25Disable With related testsBasile Henry1-1/+10
2020-09-14spec: Enable `with` optimizationsNadrieril6-5/+11
2020-06-25spec: allow trailing delimitersNadrieril24-0/+44
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/foldNadrieril4-1/+25
2020-06-25chore: garbage collect removed testsNadrieril3-12/+0
2020-06-25spec!: remove the ability to quote paths in URLsNadrieril2-1/+7
2020-06-25spec: ensure `keyword` rule only matches keywordsNadrieril10-10/+10
2020-06-25spec: not all ABNF parsers like empty rulesNadrieril1-1/+1
2020-06-25spec: allow quoted labels to be emptyNadrieril3-1/+3
2020-06-25spec: update encoding of floating point values to RFC7049bisNadrieril4-12/+6
2020-06-25spec: allow unions with mixed kindsNadrieril7-42/+0
2020-06-25spec: fix precedence of `===` and `with`Nadrieril7-0/+22
2020-06-25test: catch panics in test harnessNadrieril1-7/+21
2020-06-25ci: run tests on windowsNadrieril1-7/+26
2020-06-24test: use errors instead of panics to signify test failureNadrieril1-73/+83
2020-06-24refactor: remove old test harnessNadrieril1-5/+15
2020-06-24refactor: refactor spec tests a bitNadrieril1-189/+177
2020-06-24test: write custom test harness for testsNadrieril1-0/+686
2020-04-09Move Label escaping out of its Display implNadrieril2-0/+2
2020-04-07Move duplicate field checking to parserNadrieril14-41/+41
2020-04-05Check code hashes in importNadrieril1-0/+8
2020-03-31Ensure version numbers are kept in syncNadrieril1-0/+4
2020-03-31Upgrade annotate-snippets versionNadrieril111-111/+111