summaryrefslogtreecommitdiff
path: root/dhall/tests (follow)
Commit message (Collapse)AuthorAgeFilesLines
* 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
|
* Move duplicate field checking to parserNadrieril2020-04-0714-41/+41
|
* Check code hashes in importNadrieril2020-04-051-0/+8
|
* Ensure version numbers are kept in syncNadrieril2020-03-311-0/+4
|
* Upgrade annotate-snippets versionNadrieril2020-03-31111-111/+111
|
* Remove more unnecessary parens in printerNadrieril2020-03-2017-17/+17
|
* Commit output of printerNadrieril2020-03-20240-0/+240
|
* Parse RFC3986 URLsNadrieril2020-03-202-4/+4
|
* Upstream the `with` grammar tweakNadrieril2020-03-122-2/+2
|
* Implement record punsNadrieril2020-03-112-1/+7
|
* Upstream all local testsNadrieril2020-03-10147-196/+0
| | | | See https://github.com/dhall-lang/dhall-lang/pull/933
* Add support for `with` keywordNadrieril2020-03-104-2/+10
|
* Forgot to commit test outputNadrieril2020-03-051-0/+1
|
* Cache imports correctlyNadrieril2020-03-051-1/+1
|
* Implement remote imports and cleanup import chainingNadrieril2020-03-052-0/+4
|
* Implement remote `as Location` resolutionNadrieril2020-03-0521-5/+29
|
* Implement `as Text` importsNadrieril2020-03-054-1/+4
|
* Implement `missing` and `env:VAR` importsNadrieril2020-03-052-0/+2
|
* Add a lot of import testsNadrieril2020-03-0551-0/+80
|
* Run tests from repo root as specified in specNadrieril2020-03-0510-10/+10
|
* Implement `as Location` importsNadrieril2020-03-051-1/+1
|
* Run tests from dhall dirNadrieril2020-03-0510-10/+10
|
* Add a bunch of `as Location` unit testsNadrieril2020-03-0534-0/+48
|
* Update dhall-lang submoduleNadrieril2020-03-053-3/+15
|
* Add a bunch of testsNadrieril2020-03-0549-0/+70
|
* OopsNadrieril2020-02-211-0/+6
|
* Add support for dotted field syntaxNadrieril2020-02-202-2/+2
|
* Disallow Natural literals with leading zerosNadrieril2020-02-201-0/+6
|
* Add support for duplicate record fieldsNadrieril2020-02-206-10/+7
|
* Avoid recomputing universes in tckNadrieril2020-02-164-4/+24
|