summaryrefslogtreecommitdiff
path: root/dhall/tests/type-errors/unit (unfollow)
Commit message (Expand)AuthorFilesLines
2019-11-11Add more detail to TypeMismatch errorNadrieril4-0/+38
2019-11-11Add a few more pretty errorsNadrieril8-8/+33
2019-11-11Move "Type error" error prefixNadrieril3-6/+6
2019-11-11Display first pretty type errorNadrieril3-3/+18
2019-11-11Implement basicest Display for TypeErrorNadrieril84-84/+84
2019-11-11Test type error messagesNadrieril84-0/+84