summaryrefslogtreecommitdiff
path: root/dhall/tests/type-errors/unit/MergeHandlerNotMatchAlternativeType.txt (unfollow)
Commit message (Expand)AuthorFilesLines
2020-02-09Move ui outputs to a sensible placeNadrieril1-8/+0
2020-02-04Add basic pretty type errors to all errorsNadrieril1-1/+1
2020-02-02Tweak errorsNadrieril1-2/+1
2020-02-02Fix spans for unions and recordsNadrieril1-2/+2
2020-02-02More errorsNadrieril1-1/+9
2020-01-30Remove debug output in type errorsNadrieril1-21/+1
2020-01-29Use TyExpr in TypedNadrieril1-1/+21
2020-01-25Make most type errors stringyNadrieril1-13/+1
2020-01-24Update type-errorsNadrieril1-1/+1
2019-12-27Update dhall-lang submoduleNadrieril1-1/+1
2019-11-11Add more detail to TypeMismatch errorNadrieril1-0/+12
2019-11-11Add a few more pretty errorsNadrieril1-1/+1
2019-11-11Implement basicest Display for TypeErrorNadrieril1-1/+1
2019-11-11Test type error messagesNadrieril1-0/+1