summaryrefslogtreecommitdiff
path: root/dhall/tests/type-inference (unfollow)
Commit message (Expand)AuthorFilesLines
2020-11-27If can return a typeBasile Henry2-8/+2
2020-11-05tests: commit a forgotten outputNadrieril1-0/+6
2020-11-05tests: add some testsNadrieril1-0/+1
2020-11-05test: commit a forgotten fileNadrieril1-0/+6
2020-11-02tests: add regression tests for `with` kind inferenceNadrieril4-0/+9
2020-11-01Implement type checking for With opBasile Henry2-4/+4
2020-10-28No need to escape underscores in pretty-printingNadrieril1-1/+1
2020-10-28fix: add missing testNadrieril1-0/+6
2020-09-14spec: Enable `with` optimizationsNadrieril1-0/+6
2020-06-25spec!: remove Optional/build and Optional/foldNadrieril3-0/+24
2020-06-25spec: allow unions with mixed kindsNadrieril7-42/+0
2020-04-07Move duplicate field checking to parserNadrieril14-41/+41
2020-03-31Upgrade annotate-snippets versionNadrieril110-110/+110
2020-03-10Upstream all local testsNadrieril18-27/+0
2020-03-10Add support for `with` keywordNadrieril2-0/+8
2020-03-05Add a lot of import testsNadrieril3-0/+11
2020-03-05Add a bunch of `as Location` unit testsNadrieril2-0/+2
2020-03-05Add a bunch of testsNadrieril18-0/+44
2020-02-20Add support for duplicate record fieldsNadrieril4-6/+3
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-09Remove most TyExpr from normalizationNadrieril9-18/+18
2020-02-09Move ui outputs to a sensible placeNadrieril105-0/+600
2020-02-02Add local test files on top of dhall-lang testsNadrieril1-0/+1
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-03 11:00:54 +0000