summaryrefslogtreecommitdiff
path: root/dhall/src/semantics (unfollow)
Commit message (Collapse)AuthorFilesLines
2021-03-27Replace a bunch of Err(…)? and format!("constant") calls.Ceri Storey2-2/+2
2021-01-22chore: fix clippy warningsNadrieril1-4/+4
2020-12-08tweak: factor a bitNadrieril1-24/+25
2020-12-08fix: fix import ordering issueNadrieril1-7/+7
2020-12-07Resolve imports and alternatives outside of the ast traversalNadrieril4-65/+154
2020-12-07Defer name errors to typecheckingNadrieril4-5/+13
We aren't supposed to inspect anything before alternatives are chosen
2020-12-07Avoid storing an import before we checked its hashNadrieril2-23/+28
2020-12-07Unify `skip_resolve_expr` with normal resolutionNadrieril4-30/+49
2020-12-07Pass import results via the global contextNadrieril4-13/+19
2020-12-07Thread cx everywhere else imports are readNadrieril5-36/+53
2020-12-07Tag cx ids with the cx lifetimeNadrieril2-4/+4
To make sure we don't let ids escape and we don't mix scopes.
2020-12-07Thread cx through normalizationNadrieril10-238/+287
2020-12-07Thread cx through typecheckNadrieril4-17/+33
2020-12-07Improve ergonomics of `Ctxt`Nadrieril1-10/+9
2020-12-07Make global store of imports and import resultsNadrieril2-62/+88
2020-12-06An import location is not independent from the import modeNadrieril2-117/+107
2020-12-06Prepare `ImportLocation` for more fieldsNadrieril2-38/+82
2020-11-03Remove NirInternalNadrieril2-50/+23
2020-11-03Typecheck `with` using mutationNadrieril2-2/+5
2020-11-03Normalize `with` by mutation.Nadrieril3-5/+42
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.
2020-11-03Try to keep ownership of `Nir`s when convenientNadrieril1-1/+1
The goal is that we might avoid cloning internals in the common case where a value is not shared
2020-11-01Implement type checking for With opBasile Henry1-30/+2
2020-11-01fix: clippyNadrieril2-21/+18
2020-11-01feat: add location to import error messagesNadrieril1-2/+10
This is crude but helpful. See #40
2020-11-01Ensure that the hash always gets checkedNadrieril2-19/+40
2020-11-01Typed and TypedHir are the sameNadrieril3-33/+26
2020-11-01Untangle caching codeNadrieril4-653/+130
2020-11-01Store file cache in ImportEnvNadrieril3-19/+20
2020-11-01Untangle ImportEnv::handle_importNadrieril2-29/+37
2020-10-10Make reqwest an optional dependencyBasile Henry1-1/+5
This adds a feature to the Cargo.toml to be able to control if dhall depends on reqwest. This makes it possible to build dhall-rust for any arch (not just wasm32) without depending on reqwest. To disable reqwest as a dependency, we can now use `default-features = false` when adding the dhall dependency. Closes #169
2020-09-14spec: Enable `with` optimizationsNadrieril1-2/+30
2020-06-25spec: allow unions with mixed kindsNadrieril1-15/+5
2020-06-24fix: panic on remote import on wasmNadrieril1-4/+2
Sadly we would need proper async support for that to work
2020-05-30Refactor cache path resolutionNadrieril1-62/+21
2020-05-30Fix cache path resolution on wasmNadrieril1-0/+7
2020-05-30Make reqwest build on wasmNadrieril2-5/+15
2020-05-15test: Add remaining tests for cachefteychene1-0/+398
2020-05-15fixup! test: Add some unit tests for cachefteychene1-30/+55
2020-05-15fixup! test: Add some unit tests for cachefteychene1-56/+32
2020-05-15fixup! fixup! Release serde_dhall version 0.5.2fteychene1-31/+55
2020-05-15test: Add some unit tests for cachefteychene1-12/+121
2020-05-15fixup! Release serde_dhall version 0.5.2fteychene2-54/+67
2020-05-15feat: Add cache resolution on resolvefteychene3-28/+182
2020-04-07ClippyNadrieril1-3/+3
2020-04-07Move duplicate field checking to parserNadrieril2-41/+24
2020-04-06Move BinOp and Builtin definitions in the relevant moduleNadrieril4-12/+11
2020-04-06Move builtins module up a levelNadrieril4-501/+5
2020-04-06Extract operation-related code to a new moduleNadrieril5-809/+18
2020-04-06Only need to store OpKind in NirNadrieril2-82/+77
2020-04-06Fix normalization bugNadrieril1-49/+49