summaryrefslogtreecommitdiff
path: root/dhall/tests/type-errors/unit/RecordSelectionNotPresent.txt (follow)
Commit message (Expand)AuthorAgeFilesLines
* Move ui outputs to a sensible placeNadrieril2020-02-091-6/+0
* Add basic pretty type errors to all errorsNadrieril2020-02-041-1/+6
* Make most type errors stringyNadrieril2020-01-251-1/+1
* Add debug output to unhandled type error messageNadrieril2019-12-241-1/+1
* Implement basicest Display for TypeErrorNadrieril2019-11-111-1/+1
* Test type error messagesNadrieril2019-11-111-0/+1