summaryrefslogtreecommitdiff
path: root/dhall/tests/type-errors/unit (follow)
Commit message (Expand)AuthorAgeFilesLines
* Move "Type error" error prefixNadrieril2019-11-113-6/+6
* Display first pretty type errorNadrieril2019-11-113-3/+18
* Implement basicest Display for TypeErrorNadrieril2019-11-1184-84/+84
* Test type error messagesNadrieril2019-11-1184-0/+84