summaryrefslogtreecommitdiff
path: root/dhall/tests/type-inference/failure/unit/WithInvalidOverrideA.txt (unfollow)
Commit message (Expand)AuthorFilesLines
2020-11-01Implement type checking for With opBasile Henry1-2/+2
2020-09-14spec: Enable `with` optimizationsNadrieril1-0/+6
2020-03-10Add support for `with` keywordNadrieril1-0/+1