summaryrefslogtreecommitdiff
path: root/dhall/tests/type-inference/failure/unit/CompletionWithWrongOverridenType.txt (follow)
Commit message (Expand)AuthorAgeFilesLines
* Remove most TyExpr from normalizationNadrieril2020-02-091-2/+2
* Move ui outputs to a sensible placeNadrieril2020-02-091-0/+7