summaryrefslogtreecommitdiff
path: root/dhall/tests/type-inference/failure/unit/WithNotRecord.txt (follow)
Commit message (Expand)AuthorAgeFilesLines
* Implement type checking for With opBasile Henry2020-11-011-2/+2
* fix: add missing testNadrieril2020-10-281-0/+6