summaryrefslogtreecommitdiff
path: root/dhall/tests/type-inference/failure/unit (unfollow)
Commit message (Expand)AuthorFilesLines
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 kindsNadrieril6-36/+0
2020-04-07Move duplicate field checking to parserNadrieril12-36/+36
2020-03-31Upgrade annotate-snippets versionNadrieril106-106/+106
2020-03-10Upstream all local testsNadrieril5-5/+0
2020-03-10Add support for `with` keywordNadrieril2-0/+8
2020-03-05Add a bunch of testsNadrieril10-0/+36
2020-02-20Add support for duplicate record fieldsNadrieril4-6/+3
2020-02-16Avoid recomputing universes in tckNadrieril3-3/+18
2020-02-16Start requiring Universe to build a TypeNadrieril2-4/+4
2020-02-13Rework annotation and Sort handlingNadrieril11-12/+27
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 placeNadrieril101-0/+577
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-06 00:33:23 +0000