summaryrefslogtreecommitdiff
path: root/dhall/tests/type-errors/recordOfKind.txt (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Implement basicest Display for TypeErrorNadrieril2019-11-111-1/+1
|
* Test type error messagesNadrieril2019-11-111-0/+1