summaryrefslogtreecommitdiff
path: root/dhall/tests (follow)
Commit message (Collapse)AuthorAgeFilesLines
* 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
|
* Start requiring Universe to build a TypeNadrieril2020-02-162-4/+4
|
* Rework annotation and Sort handlingNadrieril2020-02-1314-18/+38
|
* Simplify conversions to/from TyExprNadrieril2020-02-134-0/+20
|
* Resolve variables alongside import resolutionNadrieril2020-02-092-2/+8
|
* Remove most TyExpr from normalizationNadrieril2020-02-099-18/+18
|
* Track error output of parsing and binary decoding testsNadrieril2020-02-0961-0/+316
|
* Move ui outputs to a sensible placeNadrieril2020-02-09107-0/+0
|
* Track output of import errorsNadrieril2020-02-092-0/+2
|
* Add forgotten test outputsNadrieril2020-02-066-0/+40
|
* Implement typechecking of toMapNadrieril2020-02-049-0/+55
|
* Add basic pretty type errors to all errorsNadrieril2020-02-0482-82/+412
|
* Add local test files on top of dhall-lang testsNadrieril2020-02-022-0/+2
|
* Tweak errorsNadrieril2020-02-027-15/+17
|
* Fix spans for unions and recordsNadrieril2020-02-022-4/+4
|
* More errorsNadrieril2020-02-027-11/+33
|
* More nice errors plus some refactorNadrieril2020-02-029-13/+40
|
* Implement once nice error using annotate_snippetsNadrieril2020-02-014-4/+38
|
* Remove debug output in type errorsNadrieril2020-01-303-85/+3
|
* Cleanup variable handlingNadrieril2020-01-291-2/+0
|
* Use TyExpr in TypedNadrieril2020-01-2925-50/+108
|
* Make most type errors stringyNadrieril2020-01-2558-118/+58
|
* Update type-errorsNadrieril2020-01-2445-47/+47
|
* Update dhall-lang submoduleNadrieril2019-12-272-2/+2
|
* Extend merge to work on OptionalsNadrieril2019-12-244-4/+4
|