summaryrefslogtreecommitdiff
path: root/dhall/tests/type-inference/failure/unit/NestedAnnotOuterWrong.txt (unfollow)
Commit message (Expand)AuthorFilesLines
2020-03-05Add a bunch of testsNadrieril1-0/+6