summaryrefslogtreecommitdiff
path: root/dhall/tests/type-inference/failure/SortInLet.dhall (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Upstream all local testsNadrieril2020-03-101-1/+0
| | | | See https://github.com/dhall-lang/dhall-lang/pull/933
* Add local test files on top of dhall-lang testsNadrieril2020-02-021-0/+1