summaryrefslogtreecommitdiff
path: root/dhall (follow)
Commit message (Collapse)AuthorAgeFilesLines
* 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
| | | | Fixes #206
* 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
| | | | We aren't supposed to inspect anything before alternatives are chosen
* 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
| | | | To make sure we don't let ids escape and we don't mix scopes.
* 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
| | | | | 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 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
| | | | | | | | This is crude but helpful. See #40
| * 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
| |
generated by cgit v1.2.3 (git 2.25.1) at 2024-12-22 21:48:45 +0000