summaryrefslogtreecommitdiff
path: root/dhall (follow)
Commit message (Expand)AuthorAgeFilesLines
* 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
| * fix: clippyNadrieril2020-11-012-21/+18
| * feat: add location to import error messagesNadrieril2020-11-0111-10/+81
| * Ensure that the hash always gets checkedNadrieril2020-11-015-19/+52
| * Don't pollute the dhall cache directoryNadrieril2020-11-012-36/+48
| * Typed and TypedHir are the sameNadrieril2020-11-013-33/+26
| * Untangle caching codeNadrieril2020-11-0111-662/+156
| * Store file cache in ImportEnvNadrieril2020-11-014-21/+22
| * Untangle ImportEnv::handle_importNadrieril2020-11-012-29/+37