summaryrefslogtreecommitdiff
path: root/dhall/tests/type-errors (follow)
Commit message (Collapse)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-1187-87/+87
|
* Test type error messagesNadrieril2019-11-1187-0/+87