Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | clippy: ignore unknown lints | Nadrieril | 2021-04-03 | 1 | -1/+2 |
| | |||||
* | ci: more clippy fixes | Nadrieril | 2021-04-03 | 2 | -2/+2 |
| | |||||
* | ci: disable coverage in a way that passes | Nadrieril | 2021-04-03 | 1 | -89/+91 |
| | |||||
* | clippy: fix lint name | Nadrieril | 2021-04-03 | 1 | -1/+1 |
| | |||||
* | ci: pin clippy version | Nadrieril | 2021-04-03 | 1 | -0/+2 |
| | |||||
* | clippy: ignore upper_case_acronyms | Nadrieril | 2021-04-03 | 1 | -2/+3 |
| | |||||
* | fix: fix formatting | Nadrieril | 2021-04-03 | 1 | -1/+1 |
| | |||||
* | Merge pull request #215 from cstorey/remove-redundant-semicolons | Nadrieril | 2021-04-03 | 8 | -28/+42 |
|\ | |||||
| * | Ignore clippy's needless question mark lint for the ast visitor macros. | Ceri Storey | 2021-04-03 | 1 | -1/+2 |
| | | |||||
| * | Avoid ambiguity from use of Itertools::intersperse. | Ceri Storey | 2021-04-03 | 2 | -6/+5 |
| | | |||||
| * | Replace a bunch of Err(…)? and format!("constant") calls. | Ceri Storey | 2021-03-27 | 3 | -18/+32 |
| | | |||||
| * | Remove a redundant semicolon in a test for good measure. | Ceri Storey | 2021-03-27 | 1 | -2/+2 |
| | | |||||
| * | Remove redundant semicolons in derived StaticType implementation. | Ceri Storey | 2021-03-27 | 1 | -1/+1 |
|/ | |||||
* | fix: don't use `Option` to signal errors | Nadrieril | 2021-03-09 | 1 | -24/+31 |
| | |||||
* | chore: fix clippy warnings | Nadrieril | 2021-03-09 | 2 | -0/+2 |
| | |||||
* | release: serde_dhall version 0.10.0 | Nadrieril | 2021-02-04 | 5 | -5/+8 |
| | |||||
* | spec: support dhall v20 | Nadrieril | 2021-02-04 | 3 | -1/+3 |
| | |||||
* | release: dhall version 0.10.0 | Nadrieril | 2021-02-04 | 4 | -4/+4 |
| | |||||
* | Merge pull request #211 from Qeenon/mawa | Nadrieril | 2021-01-25 | 1 | -1/+1 |
|\ | | | | | fixes #210 avoid possible conflicts by not using AsRef trait | ||||
| * | fixes #210 avoid possible conflicts by not using AsRef trait | Qeenon | 2021-01-25 | 1 | -1/+1 |
|/ | |||||
* | Merge pull request #209 from Nadrieril/fix-ci | Nadrieril | 2021-01-22 | 6 | -99/+100 |
|\ | |||||
| * | update: bump minimum supported version because of tokio | Nadrieril | 2021-01-22 | 3 | -2/+4 |
| | | |||||
| * | ci: disable code coverage, can't make it work | Nadrieril | 2021-01-22 | 1 | -89/+90 |
| | | |||||
| * | chore: fix clippy warnings | Nadrieril | 2021-01-22 | 2 | -8/+6 |
|/ | |||||
* | doc: document the `dhall` usage test | Nadrieril | 2021-01-22 | 2 | -5/+18 |
| | |||||
* | test: try using the `dhall` crate as a user | Nadrieril | 2021-01-22 | 1 | -0/+38 |
| | |||||
* | chore: update reqwest dependency | Nadrieril | 2021-01-08 | 2 | -148/+78 |
| | | | | Fixes #206 | ||||
* | chore: convert doc links to intra-doc links | Nadrieril | 2020-12-18 | 6 | -67/+52 |
| | |||||
* | Merge pull request #205 from Nadrieril/audits | Nadrieril | 2020-12-18 | 1 | -0/+16 |
|\ | | | | | Enable automatic audit checks in CI | ||||
| * | ci: enable automatic audit checks | Nadrieril | 2020-12-18 | 1 | -0/+16 |
|/ | |||||
* | chore: update dependencies | Nadrieril | 2020-12-18 | 1 | -154/+172 |
| | |||||
* | tweak: factor a bit | Nadrieril | 2020-12-08 | 1 | -24/+25 |
| | |||||
* | tests: add a test that fetches the remote prelude | Nadrieril | 2020-12-08 | 1 | -1/+17 |
| | | | | It's too slow even in release mode. | ||||
* | fix: fix import ordering issue | Nadrieril | 2020-12-08 | 3 | -7/+10 |
| | |||||
* | Merge pull request #204 from Nadrieril/source-id | Nadrieril | 2020-12-08 | 26 | -637/+1187 |
|\ | |||||
| * | Soothe clippy | Nadrieril | 2020-12-07 | 1 | -0/+1 |
| | | |||||
| * | Resolve imports and alternatives outside of the ast traversal | Nadrieril | 2020-12-07 | 6 | -130/+294 |
| | | |||||
| * | Defer name errors to typechecking | Nadrieril | 2020-12-07 | 4 | -5/+13 |
| | | | | | | | | We aren't supposed to inspect anything before alternatives are chosen | ||||
| * | Avoid storing an import before we checked its hash | Nadrieril | 2020-12-07 | 2 | -23/+28 |
| | | |||||
| * | Add tests | Nadrieril | 2020-12-07 | 4 | -0/+4 |
| | | |||||
| * | Unify `skip_resolve_expr` with normal resolution | Nadrieril | 2020-12-07 | 8 | -40/+94 |
| | | |||||
| * | Pass import results via the global context | Nadrieril | 2020-12-07 | 4 | -13/+19 |
| | | |||||
| * | Thread cx everywhere else imports are read | Nadrieril | 2020-12-07 | 10 | -89/+93 |
| | | |||||
| * | Tag cx ids with the cx lifetime | Nadrieril | 2020-12-07 | 3 | -19/+31 |
| | | | | | | | | To make sure we don't let ids escape and we don't mix scopes. | ||||
| * | Thread cx through normalization | Nadrieril | 2020-12-07 | 18 | -446/+498 |
| | | |||||
| * | Thread cx through typecheck | Nadrieril | 2020-12-07 | 8 | -28/+65 |
| | | |||||
| * | Improve ergonomics of `Ctxt` | Nadrieril | 2020-12-07 | 2 | -55/+55 |
| | | |||||
| * | Make global store of imports and import results | Nadrieril | 2020-12-07 | 6 | -62/+217 |
| | | |||||
| * | Don't store internal structures of `dhall` in `serde_dhall` | Nadrieril | 2020-12-07 | 3 | -38/+86 |
|/ | |||||
* | Merge pull request #203 from Nadrieril/fix-import-bug | Nadrieril | 2020-12-06 | 6 | -108/+145 |
|\ |