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