summaryrefslogtreecommitdiff
path: root/dhall/tests/type-inference/failure/unit/WithInfersKind.dhall (unfollow)
Commit message (Expand)AuthorFilesLines
2020-11-02tests: add regression tests for `with` kind inferenceNadrieril1-0/+1