summaryrefslogtreecommitdiff
path: root/dhall/tests/type-inference/failure/unit/AssertAlphaTrap.txt (unfollow)
Commit message (Expand)AuthorFilesLines
2020-10-28No need to escape underscores in pretty-printingNadrieril1-1/+1
2020-03-31Upgrade annotate-snippets versionNadrieril1-1/+1
2020-02-09Move ui outputs to a sensible placeNadrieril1-0/+0
2020-02-04Add basic pretty type errors to all errorsNadrieril1-1/+1
2020-02-02More nice errors plus some refactorNadrieril1-1/+6
2020-01-29Use TyExpr in TypedNadrieril1-6/+1
2019-11-11Move "Type error" error prefixNadrieril1-2/+2
2019-11-11Display first pretty type errorNadrieril1-1/+6
2019-11-11Implement basicest Display for TypeErrorNadrieril1-1/+1
2019-11-11Test type error messagesNadrieril1-0/+1