summaryrefslogtreecommitdiff
path: root/dhall (unfollow)
Commit message (Expand)AuthorFilesLines
2021-04-03Avoid ambiguity from use of Itertools::intersperse.Ceri Storey2-6/+5
2021-03-27Replace a bunch of Err(…)? and format!("constant") calls.Ceri Storey3-18/+32
2021-03-09chore: fix clippy warningsNadrieril1-0/+1
2021-02-04release: dhall version 0.10.0Nadrieril2-2/+2
2021-01-22chore: fix clippy warningsNadrieril2-8/+6
2021-01-22doc: document the `dhall` usage testNadrieril2-5/+18
2021-01-22test: try using the `dhall` crate as a userNadrieril1-0/+38
2021-01-08chore: update reqwest dependencyNadrieril1-1/+1
2020-12-08tweak: factor a bitNadrieril1-24/+25
2020-12-08fix: fix import ordering issueNadrieril3-7/+10
2020-12-07Soothe clippyNadrieril1-0/+1
2020-12-07Resolve imports and alternatives outside of the ast traversalNadrieril6-130/+294
2020-12-07Defer name errors to typecheckingNadrieril4-5/+13
2020-12-07Avoid storing an import before we checked its hashNadrieril2-23/+28
2020-12-07Add testsNadrieril4-0/+4
2020-12-07Unify `skip_resolve_expr` with normal resolutionNadrieril6-39/+74
2020-12-07Pass import results via the global contextNadrieril4-13/+19
2020-12-07Thread cx everywhere else imports are readNadrieril8-84/+80
2020-12-07Tag cx ids with the cx lifetimeNadrieril3-19/+31
2020-12-07Thread cx through normalizationNadrieril16-425/+475
2020-12-07Thread cx through typecheckNadrieril8-28/+65
2020-12-07Improve ergonomics of `Ctxt`Nadrieril2-55/+55
2020-12-07Make global store of imports and import resultsNadrieril5-62/+201
2020-12-06Exclude the new test on WindowsNadrieril1-0/+1
2020-12-06An import location is not independent from the import modeNadrieril5-121/+109
2020-12-06Prepare `ImportLocation` for more fieldsNadrieril3-39/+83
2020-12-06Add testNadrieril3-0/+4
2020-11-27If can return a typeBasile Henry3-10/+4
2020-11-20release: dhall version 0.9.0Nadrieril2-2/+2
2020-11-05tests: commit a forgotten outputNadrieril1-0/+6
2020-11-05Overwrite test outputs with a `--bless` optionNadrieril1-15/+25
2020-11-05Centralize test exclusion into a single functionNadrieril1-193/+182
2020-11-05tests: add some testsNadrieril17-0/+25
2020-11-05test: commit a forgotten fileNadrieril1-0/+6
2020-11-03Remove NirInternalNadrieril2-50/+23
2020-11-03Typecheck `with` using mutationNadrieril3-45/+25
2020-11-03Normalize `with` by mutation.Nadrieril4-57/+66
2020-11-03Try to keep ownership of `Nir`s when convenientNadrieril2-55/+52
2020-11-02tests: add regression tests for `with` kind inferenceNadrieril4-0/+9
2020-11-02Handle record type properlyBasile Henry1-1/+1
2020-11-02Inline helper functionBasile Henry1-8/+4
2020-11-02Refactor following PR reviewBasile Henry2-29/+20
2020-11-01Handle partially abstract withBasile Henry2-12/+29
2020-11-01Implement normalization for With opBasile Henry1-2/+43
2020-11-01Implement type checking for With opBasile Henry5-41/+57
2020-11-01fix: clippyNadrieril2-21/+18
2020-11-01feat: add location to import error messagesNadrieril11-10/+81
2020-11-01Ensure that the hash always gets checkedNadrieril5-19/+52
2020-11-01Don't pollute the dhall cache directoryNadrieril2-36/+48
2020-11-01Typed and TypedHir are the sameNadrieril3-33/+26