summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* chore: convert doc links to intra-doc linksNadrieril2020-12-186-67/+52
* Merge pull request #205 from Nadrieril/auditsNadrieril2020-12-181-0/+16
|\
| * 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
* 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
| * 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
| * 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
| * Add testNadrieril2020-12-063-0/+4
|/
* chore: remove leftover fileNadrieril2020-12-061-1/+0
* Merge pull request #202 from basile-henry/if-typeNadrieril2020-11-285-10/+5
|\
| * Add .direnv to .gitignoreBasile Henry2020-11-271-0/+1
| * Update dhall-langBasile Henry2020-11-271-0/+0
| * If can return a typeBasile Henry2020-11-273-10/+4
|/
* release: serde_dhall version 0.9.0Nadrieril2020-11-205-5/+8
* release: dhall version 0.9.0Nadrieril2020-11-204-4/+4
* Merge pull request #201 from Nadrieril/parse-binaryNadrieril2020-11-204-1/+64
|\
| * Expose binary parsing in the APINadrieril2020-11-204-1/+64
|/
* tests: commit a forgotten outputNadrieril2020-11-051-0/+6
* Merge pull request #198 from Nadrieril/bless-testsNadrieril2020-11-052-20/+32
|\
| * Overwrite test outputs with a `--bless` optionNadrieril2020-11-052-20/+32
|/
* Merge pull request #197 from Nadrieril/cleanup-test-exclusionNadrieril2020-11-051-193/+182
|\
| * Centralize test exclusion into a single functionNadrieril2020-11-051-193/+182
|/
* tests: add some testsNadrieril2020-11-0518-5/+25
* test: commit a forgotten fileNadrieril2020-11-051-0/+6
* Merge pull request #196 from Nadrieril/allow-mutation-in-normalizationNadrieril2020-11-037-193/+152
|\
| * 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 pull request #191 from basile-henry/text-replaceBasile Henry2020-11-032-22/+28
|\
| * Merge remote-tracking branch 'upstream/master' into text-replaceBasile Henry2020-11-0337-798/+489
| |\ | |/ |/|