summaryrefslogtreecommitdiff
path: root/dhall/tests/type-errors/unit/ListLiteralEmptyNotType.txt (unfollow)
Commit message (Expand)AuthorFilesLines
2020-02-01Implement once nice error using annotate_snippetsNadrieril1-1/+8
2020-01-29Use TyExpr in TypedNadrieril1-1/+1
2020-01-25Make most type errors stringyNadrieril1-13/+1
2019-11-11Add more detail to TypeMismatch errorNadrieril1-0/+7
2019-11-11Add a few more pretty errorsNadrieril1-1/+6
2019-11-11Implement basicest Display for TypeErrorNadrieril1-1/+1
2019-11-11Test type error messagesNadrieril1-0/+1