summaryrefslogtreecommitdiff
path: root/dhall/tests/type-inference/failure/unit/OptionalDeprecatedSyntaxPresent.txt (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Upgrade annotate-snippets versionNadrieril2020-03-311-1/+1
|
* Rework annotation and Sort handlingNadrieril2020-02-131-1/+1
|
* Remove most TyExpr from normalizationNadrieril2020-02-091-2/+2
|
* Move ui outputs to a sensible placeNadrieril2020-02-091-0/+6