summaryrefslogtreecommitdiff
path: root/dhall/tests/type-errors/unit (follow)
Commit message (Expand)AuthorAgeFilesLines
* Add more detail to TypeMismatch errorNadrieril2019-11-114-0/+38
* Add a few more pretty errorsNadrieril2019-11-118-8/+33
* 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