summaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
* clippy: fix lint nameNadrieril2021-04-031-1/+1
|
* ci: pin clippy versionNadrieril2021-04-031-0/+2
|
* clippy: ignore upper_case_acronymsNadrieril2021-04-031-2/+3
|
* fix: fix formattingNadrieril2021-04-031-1/+1
|
* Merge pull request #215 from cstorey/remove-redundant-semicolonsNadrieril2021-04-038-28/+42
|\
| * Ignore clippy's needless question mark lint for the ast visitor macros.Ceri Storey2021-04-031-1/+2
| |
| * Avoid ambiguity from use of Itertools::intersperse.Ceri Storey2021-04-032-6/+5
| |
| * Replace a bunch of Err(…)? and format!("constant") calls.Ceri Storey2021-03-273-18/+32
| |
| * Remove a redundant semicolon in a test for good measure.Ceri Storey2021-03-271-2/+2
| |
| * Remove redundant semicolons in derived StaticType implementation.Ceri Storey2021-03-271-1/+1
|/
* fix: don't use `Option` to signal errorsNadrieril2021-03-091-24/+31
|
* chore: fix clippy warningsNadrieril2021-03-092-0/+2
|
* release: serde_dhall version 0.10.0Nadrieril2021-02-045-5/+8
|
* spec: support dhall v20Nadrieril2021-02-043-1/+3
|
* release: dhall version 0.10.0Nadrieril2021-02-044-4/+4
|
* Merge pull request #211 from Qeenon/mawaNadrieril2021-01-251-1/+1
|\ | | | | fixes #210 avoid possible conflicts by not using AsRef trait
| * fixes #210 avoid possible conflicts by not using AsRef traitQeenon2021-01-251-1/+1
|/
* Merge pull request #209 from Nadrieril/fix-ciNadrieril2021-01-226-99/+100
|\
| * update: bump minimum supported version because of tokioNadrieril2021-01-223-2/+4
| |
| * ci: disable code coverage, can't make it workNadrieril2021-01-221-89/+90
| |
| * chore: fix clippy warningsNadrieril2021-01-222-8/+6
|/
* doc: document the `dhall` usage testNadrieril2021-01-222-5/+18
|
* test: try using the `dhall` crate as a userNadrieril2021-01-221-0/+38
|
* chore: update reqwest dependencyNadrieril2021-01-082-148/+78
| | | | Fixes #206
* chore: convert doc links to intra-doc linksNadrieril2020-12-186-67/+52
|
* Merge pull request #205 from Nadrieril/auditsNadrieril2020-12-181-0/+16
|\ | | | | Enable automatic audit checks in CI
| * ci: enable automatic audit checksNadrieril2020-12-181-0/+16
|/
* chore: update dependenciesNadrieril2020-12-181-154/+172
|
* tweak: factor a bitNadrieril2020-12-081-24/+25
|
* tests: add a test that fetches the remote preludeNadrieril2020-12-081-1/+17
| | | | It's too slow even in release mode.
* fix: fix import ordering issueNadrieril2020-12-083-7/+10
|
* Merge pull request #204 from Nadrieril/source-idNadrieril2020-12-0826-637/+1187
|\
| * Soothe clippyNadrieril2020-12-071-0/+1
| |
| * Resolve imports and alternatives outside of the ast traversalNadrieril2020-12-076-130/+294
| |
| * Defer name errors to typecheckingNadrieril2020-12-074-5/+13
| | | | | | | | We aren't supposed to inspect anything before alternatives are chosen
| * Avoid storing an import before we checked its hashNadrieril2020-12-072-23/+28
| |
| * Add testsNadrieril2020-12-074-0/+4
| |
| * Unify `skip_resolve_expr` with normal resolutionNadrieril2020-12-078-40/+94
| |
| * Pass import results via the global contextNadrieril2020-12-074-13/+19
| |
| * Thread cx everywhere else imports are readNadrieril2020-12-0710-89/+93
| |
| * Tag cx ids with the cx lifetimeNadrieril2020-12-073-19/+31
| | | | | | | | To make sure we don't let ids escape and we don't mix scopes.
| * Thread cx through normalizationNadrieril2020-12-0718-446/+498
| |
| * Thread cx through typecheckNadrieril2020-12-078-28/+65
| |
| * Improve ergonomics of `Ctxt`Nadrieril2020-12-072-55/+55
| |
| * Make global store of imports and import resultsNadrieril2020-12-076-62/+217
| |
| * Don't store internal structures of `dhall` in `serde_dhall`Nadrieril2020-12-073-38/+86
|/
* Merge pull request #203 from Nadrieril/fix-import-bugNadrieril2020-12-066-108/+145
|\
| * Exclude the new test on WindowsNadrieril2020-12-061-0/+1
| |
| * An import location is not independent from the import modeNadrieril2020-12-065-121/+109
| |
| * Prepare `ImportLocation` for more fieldsNadrieril2020-12-063-39/+83
| |