summaryrefslogtreecommitdiff
path: root/dhall/tests (unfollow)
Commit message (Expand)AuthorFilesLines
2020-03-12Upstream the `with` grammar tweakNadrieril2-2/+2
2020-03-11Implement record punsNadrieril2-1/+7
2020-03-10Upstream all local testsNadrieril147-196/+0
2020-03-10Add support for `with` keywordNadrieril4-2/+10
2020-03-05Forgot to commit test outputNadrieril1-0/+1
2020-03-05Cache imports correctlyNadrieril1-1/+1
2020-03-05Implement remote imports and cleanup import chainingNadrieril2-0/+4
2020-03-05Implement remote `as Location` resolutionNadrieril21-5/+29
2020-03-05Implement `as Text` importsNadrieril4-1/+4
2020-03-05Implement `missing` and `env:VAR` importsNadrieril2-0/+2
2020-03-05Add a lot of import testsNadrieril51-0/+80
2020-03-05Run tests from repo root as specified in specNadrieril10-10/+10
2020-03-05Implement `as Location` importsNadrieril1-1/+1
2020-03-05Run tests from dhall dirNadrieril10-10/+10
2020-03-05Add a bunch of `as Location` unit testsNadrieril34-0/+48
2020-03-05Update dhall-lang submoduleNadrieril3-3/+15
2020-03-05Add a bunch of testsNadrieril49-0/+70
2020-02-21OopsNadrieril1-0/+6
2020-02-20Add support for dotted field syntaxNadrieril2-2/+2
2020-02-20Disallow Natural literals with leading zerosNadrieril1-0/+6
2020-02-20Add support for duplicate record fieldsNadrieril6-10/+7
2020-02-16Avoid recomputing universes in tckNadrieril4-4/+24
2020-02-16Start requiring Universe to build a TypeNadrieril2-4/+4
2020-02-13Rework annotation and Sort handlingNadrieril14-18/+38
2020-02-13Simplify conversions to/from TyExprNadrieril4-0/+20
2020-02-09Resolve variables alongside import resolutionNadrieril2-2/+8
2020-02-09Remove most TyExpr from normalizationNadrieril9-18/+18
2020-02-09Track error output of parsing and binary decoding testsNadrieril61-0/+316
2020-02-09Move ui outputs to a sensible placeNadrieril107-0/+0
2020-02-09Track output of import errorsNadrieril2-0/+2
2020-02-06Add forgotten test outputsNadrieril6-0/+40
2020-02-04Implement typechecking of toMapNadrieril9-0/+55
2020-02-04Add basic pretty type errors to all errorsNadrieril82-82/+412
2020-02-02Add local test files on top of dhall-lang testsNadrieril2-0/+2
2020-02-02Tweak errorsNadrieril7-15/+17
2020-02-02Fix spans for unions and recordsNadrieril2-4/+4
2020-02-02More errorsNadrieril7-11/+33
2020-02-02More nice errors plus some refactorNadrieril9-13/+40
2020-02-01Implement once nice error using annotate_snippetsNadrieril4-4/+38
2020-01-30Remove debug output in type errorsNadrieril3-85/+3
2020-01-29Cleanup variable handlingNadrieril1-2/+0
2020-01-29Use TyExpr in TypedNadrieril25-50/+108
2020-01-25Make most type errors stringyNadrieril58-118/+58
2020-01-24Update type-errorsNadrieril45-47/+47
2019-12-27Update dhall-lang submoduleNadrieril2-2/+2
2019-12-24Extend merge to work on OptionalsNadrieril4-4/+4
2019-12-24Add debug output to unhandled type error messageNadrieril78-78/+78
2019-12-22Update dhall-lang submoduleNadrieril1-0/+1
2019-12-22Update dhall-lang submoduleNadrieril2-0/+2
2019-11-11Add more detail to TypeMismatch errorNadrieril5-0/+45