summaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
* 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
|\ \
| * | Ensure that the hash always gets checkedNadrieril2020-11-015-19/+52
| | |
| * | Don't pollute the dhall cache directoryNadrieril2020-11-013-36/+55
| | |
| * | 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
|/ /
| * Update dhall-lang to latest masterBasile Henry2020-11-031-0/+0
| |
| * Allow `Text/replace ` to support an abstract haystackBasile Henry2020-11-012-22/+28
|/
* chore: update nix shellNadrieril2020-11-011-6/+6
|
* Merge pull request #190 from Nadrieril/update-depsNadrieril2020-10-308-434/+600
|\
| * Add deps.rs badgeNadrieril2020-10-301-4/+7
| |
| * Update other dependenciesNadrieril2020-10-301-312/+314
| |
| * Update abnf dependencyNadrieril2020-10-303-14/+24
| |
| * Update pretty dependencyNadrieril2020-10-303-36/+34
| |
| * Update annotate-snippets dependencyNadrieril2020-10-303-15/+19
| |
| * Update serde_cbor dependencyNadrieril2020-10-302-4/+3
| |
| * Roll our own Value for binary decodingNadrieril2020-10-301-12/+162
| |
| * Don't use serde_cbor::Value in binary encodingNadrieril2020-10-301-40/+40
|/
* release: serde_dhall version 0.8.0Nadrieril2020-10-285-5/+8
|
* release: dhall version 0.8.0Nadrieril2020-10-284-4/+4
|
* Merge pull request #189 from Nadrieril/serializeNadrieril2020-10-2818-224/+1278
|\
| * Fix clippy and formattingNadrieril2020-10-282-2/+4
| |