summaryrefslogtreecommitdiff
path: root/dhall/tests/type-inference/failure/unit/WithInfersKind.txt (follow)
Commit message (Expand)AuthorAgeFilesLines
* tests: add regression tests for `with` kind inferenceNadrieril2020-11-021-0/+6