summaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
...
| * 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
| |
| * 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
|\ | | | | If can return a type
| * 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 API
| * 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` option
| * 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 function
| * 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
| | | | | | | | | | This is Cow-style mutation: we clone only what's shared and then mutate it. This it more legible and more efficient than the immutable version.
| * Try to keep ownership of `Nir`s when convenientNadrieril2020-11-032-55/+52
|/ | | | | The goal is that we might avoid cloning internals in the common case where a value is not shared
* Merge pull request #191 from basile-henry/text-replaceBasile Henry2020-11-032-22/+28
|\ | | | | Allow `Text/replace ` to support an abstract haystack
| * Merge remote-tracking branch 'upstream/master' into text-replaceBasile Henry2020-11-0337-798/+489
| |\ | |/ |/|
* | fix: We now support dhall v19Nadrieril2020-11-021-0/+2
| | | | | | | | Fixes #180
* | tests: add regression tests for `with` kind inferenceNadrieril2020-11-024-0/+9
| |
* | Merge pull request #193 from basile-henry/with-no-desugarNadrieril2020-11-026-47/+108
|\ \
| * \ Merge branch 'master' into with-no-desugarNadrieril2020-11-021-3/+6
| |\ \ | |/ / |/| |
* | | Merge pull request #195 from basile-henry/workaround-clippy-issueNadrieril2020-11-021-3/+6
|\ \ \ | | | | | | | | CI: Use a workaround to not hit the clippy issue
| * | | CI: Use a work around to not hit the clippy issueBasile Henry2020-11-021-3/+6
|/ / /
| * | 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
| | | | | | | | This is crude but helpful. See #40
* | Merge pull request #192 from Nadrieril/rework-cachingNadrieril2020-11-0117-740/+288
|\ \