summaryrefslogtreecommitdiff
path: root/dhall (follow)
Commit message (Expand)AuthorAgeFilesLines
* clippy: ignore unknown lintsNadrieril2021-04-031-1/+2
* clippy: ignore upper_case_acronymsNadrieril2021-04-031-2/+3
* fix: fix formattingNadrieril2021-04-031-1/+1
* 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
* chore: fix clippy warningsNadrieril2021-03-091-0/+1
* release: dhall version 0.10.0Nadrieril2021-02-042-2/+2
* 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-081-1/+1
* tweak: factor a bitNadrieril2020-12-081-24/+25
* fix: fix import ordering issueNadrieril2020-12-083-7/+10
* 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
* 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-076-39/+74
* Pass import results via the global contextNadrieril2020-12-074-13/+19
* Thread cx everywhere else imports are readNadrieril2020-12-078-84/+80
* Tag cx ids with the cx lifetimeNadrieril2020-12-073-19/+31
* Thread cx through normalizationNadrieril2020-12-0716-425/+475
* 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-075-62/+201
* 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
* Add testNadrieril2020-12-063-0/+4
* If can return a typeBasile Henry2020-11-273-10/+4
* release: dhall version 0.9.0Nadrieril2020-11-202-2/+2
* tests: commit a forgotten outputNadrieril2020-11-051-0/+6
* Overwrite test outputs with a `--bless` optionNadrieril2020-11-051-15/+25
* Centralize test exclusion into a single functionNadrieril2020-11-051-193/+182
* tests: add some testsNadrieril2020-11-0517-0/+25
* test: commit a forgotten fileNadrieril2020-11-051-0/+6
* Remove NirInternalNadrieril2020-11-032-50/+23
* Typecheck `with` using mutationNadrieril2020-11-033-45/+25
* Normalize `with` by mutation.Nadrieril2020-11-034-57/+66
* Try to keep ownership of `Nir`s when convenientNadrieril2020-11-032-55/+52
* Merge remote-tracking branch 'upstream/master' into text-replaceBasile Henry2020-11-0334-795/+474
|\
| * tests: add regression tests for `with` kind inferenceNadrieril2020-11-024-0/+9
| * Handle record type properlyBasile Henry2020-11-021-1/+1
| * Inline helper functionBasile Henry2020-11-021-8/+4
| * Refactor following PR reviewBasile Henry2020-11-022-29/+20
| * Handle partially abstract withBasile Henry2020-11-012-12/+29
| * Implement normalization for With opBasile Henry2020-11-011-2/+43
| * Implement type checking for With opBasile Henry2020-11-015-41/+57