summaryrefslogtreecommitdiff
path: root/dhall/tests/type-inference/success (unfollow)
Commit message (Collapse)AuthorFilesLines
2020-11-02tests: add regression tests for `with` kind inferenceNadrieril2-0/+2
2020-03-10Upstream all local testsNadrieril12-21/+0
See https://github.com/dhall-lang/dhall-lang/pull/933
2020-03-05Add a lot of import testsNadrieril3-0/+11
2020-03-05Add a bunch of `as Location` unit testsNadrieril2-0/+2
2020-03-05Add a bunch of testsNadrieril8-0/+8