Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Add tests | Nadrieril | 2020-12-07 | 4 | -0/+4 |
| | |||||
* | An import location is not independent from the import mode | Nadrieril | 2020-12-06 | 2 | -2/+2 |
| | |||||
* | Prepare `ImportLocation` for more fields | Nadrieril | 2020-12-06 | 1 | -1/+1 |
| | |||||
* | Add test | Nadrieril | 2020-12-06 | 2 | -0/+2 |
| | |||||
* | tests: add some tests | Nadrieril | 2020-11-05 | 7 | -0/+12 |
| | |||||
* | feat: add location to import error messages | Nadrieril | 2020-11-01 | 10 | -8/+71 |
| | | | | This is crude but helpful. See #40 | ||||
* | Ensure that the hash always gets checked | Nadrieril | 2020-11-01 | 3 | -0/+12 |
| | |||||
* | Check code hashes in import | Nadrieril | 2020-04-05 | 1 | -0/+8 |
| | |||||
* | Upgrade annotate-snippets version | Nadrieril | 2020-03-31 | 1 | -1/+1 |
| | |||||
* | Upstream all local tests | Nadrieril | 2020-03-10 | 98 | -143/+0 |
| | | | | See https://github.com/dhall-lang/dhall-lang/pull/933 | ||||
* | Forgot to commit test output | Nadrieril | 2020-03-05 | 1 | -0/+1 |
| | |||||
* | Cache imports correctly | Nadrieril | 2020-03-05 | 1 | -1/+1 |
| | |||||
* | Implement remote imports and cleanup import chaining | Nadrieril | 2020-03-05 | 2 | -0/+4 |
| | |||||
* | Implement remote `as Location` resolution | Nadrieril | 2020-03-05 | 21 | -5/+29 |
| | |||||
* | Implement `as Text` imports | Nadrieril | 2020-03-05 | 4 | -1/+4 |
| | |||||
* | Implement `missing` and `env:VAR` imports | Nadrieril | 2020-03-05 | 2 | -0/+2 |
| | |||||
* | Add a lot of import tests | Nadrieril | 2020-03-05 | 48 | -0/+69 |
| | |||||
* | Run tests from repo root as specified in spec | Nadrieril | 2020-03-05 | 10 | -10/+10 |
| | |||||
* | Implement `as Location` imports | Nadrieril | 2020-03-05 | 1 | -1/+1 |
| | |||||
* | Run tests from dhall dir | Nadrieril | 2020-03-05 | 10 | -10/+10 |
| | |||||
* | Add a bunch of `as Location` unit tests | Nadrieril | 2020-03-05 | 32 | -0/+46 |
| | |||||
* | Resolve variables alongside import resolution | Nadrieril | 2020-02-09 | 2 | -2/+8 |
| | |||||
* | Move ui outputs to a sensible place | Nadrieril | 2020-02-09 | 2 | -0/+2 |