summaryrefslogtreecommitdiff
path: root/dhall/tests/type-inference/failure/unit/WithInvalidOverrideA.txt (follow)
Commit message (Expand)AuthorAgeFilesLines
* Implement type checking for With opBasile Henry2020-11-011-2/+2
* spec: Enable `with` optimizationsNadrieril2020-09-141-0/+6
* Add support for `with` keywordNadrieril2020-03-101-0/+1