summaryrefslogtreecommitdiff
path: root/dhall/src (unfollow)
Commit message (Collapse)AuthorFilesLines
2020-12-08tweak: factor a bitNadrieril1-24/+25
2020-12-08fix: fix import ordering issueNadrieril1-7/+7
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
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 resolutionNadrieril6-39/+74
2020-12-07Pass import results via the global contextNadrieril4-13/+19
2020-12-07Thread cx everywhere else imports are readNadrieril7-69/+68
2020-12-07Tag cx ids with the cx lifetimeNadrieril3-19/+31
To make sure we don't let ids escape and we don't mix scopes.
2020-12-07Thread cx through normalizationNadrieril15-347/+395
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 resultsNadrieril4-62/+200
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-27If can return a typeBasile Henry1-2/+2
2020-11-20release: dhall version 0.9.0Nadrieril1-1/+1
2020-11-03Remove NirInternalNadrieril2-50/+23
2020-11-03Typecheck `with` using mutationNadrieril3-45/+25
2020-11-03Normalize `with` by mutation.Nadrieril4-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.
2020-11-03Try to keep ownership of `Nir`s when convenientNadrieril2-55/+52
The goal is that we might avoid cloning internals in the common case where a value is not shared
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 Henry1-8/+29
2020-11-01Implement normalization for With opBasile Henry1-2/+43
2020-11-01Implement type checking for With opBasile Henry2-31/+52
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 codeNadrieril10-661/+155
2020-11-01Store file cache in ImportEnvNadrieril4-21/+22
2020-11-01Untangle ImportEnv::handle_importNadrieril2-29/+37
2020-11-01Allow `Text/replace ` to support an abstract haystackBasile Henry1-22/+28
2020-10-30Update annotate-snippets dependencyNadrieril1-12/+13
2020-10-30Roll our own Value for binary decodingNadrieril1-12/+162
2020-10-30Don't use serde_cbor::Value in binary encodingNadrieril1-40/+40
2020-10-28release: dhall version 0.8.0Nadrieril1-1/+1
2020-10-28No need to escape underscores in pretty-printingNadrieril1-1/+3
2020-10-28Prefer u64/i64 to usize/isizeNadrieril3-9/+8
2020-10-27Make `SimpleValue` deserializable within other typesNadrieril1-0/+1
Fixes https://github.com/Nadrieril/dhall-rust/issues/184
2020-10-25Release dhall version 0.7.4Nadrieril1-1/+1
2020-10-25Refactor Text/replace evalBasile Henry1-42/+29
2020-10-25Implement Text/replaceBasile Henry2-2/+64
2020-10-24Release dhall version 0.7.2Nadrieril1-1/+1
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-15Release dhall version 0.7.0Nadrieril1-1/+1
2020-09-14spec: Enable `with` optimizationsNadrieril9-26/+69
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-01 12:43:58 +0000