summaryrefslogtreecommitdiff
path: root/dhall/tests (follow)
Commit message (Collapse)AuthorAgeFilesLines
* doc: document the `dhall` usage testNadrieril2021-01-221-3/+15
|
* test: try using the `dhall` crate as a userNadrieril2021-01-221-0/+38
|
* fix: fix import ordering issueNadrieril2020-12-082-0/+3
|
* Add testsNadrieril2020-12-074-0/+4
|
* Thread cx everywhere else imports are readNadrieril2020-12-071-15/+12
|
* Thread cx through normalizationNadrieril2020-12-071-78/+80
|
* Exclude the new test on WindowsNadrieril2020-12-061-0/+1
|
* An import location is not independent from the import modeNadrieril2020-12-063-4/+2
|
* Prepare `ImportLocation` for more fieldsNadrieril2020-12-061-1/+1
|
* Add testNadrieril2020-12-063-0/+4
|
* If can return a typeBasile Henry2020-11-272-8/+2
|
* tests: commit a forgotten outputNadrieril2020-11-051-0/+6
|
* Overwrite test outputs with a `--bless` optionNadrieril2020-11-051-15/+25
|
* Centralize test exclusion into a single functionNadrieril2020-11-051-193/+182
|
* tests: add some testsNadrieril2020-11-0517-0/+25
|
* test: commit a forgotten fileNadrieril2020-11-051-0/+6
|
* tests: add regression tests for `with` kind inferenceNadrieril2020-11-024-0/+9
|
* Handle partially abstract withBasile Henry2020-11-011-4/+0
|
* Implement type checking for With opBasile Henry2020-11-013-10/+5
|
* feat: add location to import error messagesNadrieril2020-11-0110-8/+71
| | | | This is crude but helpful. See #40
* Ensure that the hash always gets checkedNadrieril2020-11-013-0/+12
|
* Don't pollute the dhall cache directoryNadrieril2020-11-011-33/+47
|
* Untangle caching codeNadrieril2020-11-011-1/+1
|
* No need to escape underscores in pretty-printingNadrieril2020-10-284-4/+4
|
* fix: add missing testNadrieril2020-10-281-0/+6
|
* Implement Text/replaceBasile Henry2020-10-251-1/+1
|
* Disable With related testsBasile Henry2020-10-251-1/+10
|
* spec: Enable `with` optimizationsNadrieril2020-09-146-5/+11
|
* spec: allow trailing delimitersNadrieril2020-06-2524-0/+44
|
* test: mark excluded tests as ignored instead of deleting themNadrieril2020-06-251-11/+6
|
* fix: always set XDG_CACHE_HOME in tests.Nadrieril2020-06-251-10/+11
| | | | | | We do NOT want to write in real directories during tests, but it's even worse if it's the user's directory. We really need a non-stupid cache abstraction.
* fix: exclude prelude test for nowNadrieril2020-06-251-1/+3
| | | | | It's broken because cached imports get alpha-normalized. Those tests should be run with a dummy cache.
* fix: ignore a test on WindowsNadrieril2020-06-251-0/+1
|
* spec: support Dhall v17.0.0Nadrieril2020-06-2515-0/+90
|
* spec!: remove Optional/build and Optional/foldNadrieril2020-06-254-1/+25
|
* chore: garbage collect removed testsNadrieril2020-06-253-12/+0
|
* spec!: remove the ability to quote paths in URLsNadrieril2020-06-252-1/+7
|
* spec: ensure `keyword` rule only matches keywordsNadrieril2020-06-2510-10/+10
|
* spec: not all ABNF parsers like empty rulesNadrieril2020-06-251-1/+1
|
* spec: allow quoted labels to be emptyNadrieril2020-06-253-1/+3
|
* spec: update encoding of floating point values to RFC7049bisNadrieril2020-06-254-12/+6
|
* spec: allow unions with mixed kindsNadrieril2020-06-257-42/+0
|
* spec: fix precedence of `===` and `with`Nadrieril2020-06-257-0/+22
|
* test: catch panics in test harnessNadrieril2020-06-251-7/+21
|
* ci: run tests on windowsNadrieril2020-06-251-7/+26
|
* test: use errors instead of panics to signify test failureNadrieril2020-06-241-73/+83
|
* refactor: remove old test harnessNadrieril2020-06-241-5/+15
|
* refactor: refactor spec tests a bitNadrieril2020-06-241-189/+177
|
* test: write custom test harness for testsNadrieril2020-06-241-0/+686
|
* Move Label escaping out of its Display implNadrieril2020-04-092-0/+2
|