Commit message (Collapse) | Author | Files | Lines | ||
---|---|---|---|---|---|
2020-11-02 | tests: add regression tests for `with` kind inference | Nadrieril | 2 | -0/+2 | |
2020-03-10 | Upstream all local tests | Nadrieril | 12 | -21/+0 | |
See https://github.com/dhall-lang/dhall-lang/pull/933 | |||||
2020-03-05 | Add a lot of import tests | Nadrieril | 3 | -0/+11 | |
2020-03-05 | Add a bunch of `as Location` unit tests | Nadrieril | 2 | -0/+2 | |
2020-03-05 | Add a bunch of tests | Nadrieril | 8 | -0/+8 | |