summaryrefslogtreecommitdiff
path: root/dhall/tests/type-errors/unit/ToMapWrongKind.txt (follow)
Commit message (Expand)AuthorAgeFilesLines
* Implement typechecking of toMapNadrieril2020-02-041-0/+6