summaryrefslogtreecommitdiff
path: root/dhall/tests/typecheck.rs (follow)
Commit message (Expand)AuthorAgeFilesLines
* Add type-inference testsNadrieril2019-04-061-0/+133
* Update dhall-lang submoduleNadrieril2019-04-041-36/+36
* Split different tests features into their own filesNadrieril2019-03-151-0/+168