summaryrefslogtreecommitdiff
path: root/dhall/src/semantics/resolve/resolve.rs (unfollow)
Commit message (Expand)AuthorFilesLines
2021-03-27Replace a bunch of Err(…)? and format!("constant") calls.Ceri Storey1-1/+1
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 traversalNadrieril1-63/+126
2020-12-07Defer name errors to typecheckingNadrieril1-5/+4
2020-12-07Avoid storing an import before we checked its hashNadrieril1-15/+15
2020-12-07Unify `skip_resolve_expr` with normal resolutionNadrieril1-25/+44
2020-12-07Pass import results via the global contextNadrieril1-5/+4
2020-12-07Thread cx everywhere else imports are readNadrieril1-17/+19
2020-12-07Tag cx ids with the cx lifetimeNadrieril1-1/+1
2020-12-07Thread cx through normalizationNadrieril1-12/+20
2020-12-07Thread cx through typecheckNadrieril1-3/+3
2020-12-07Improve ergonomics of `Ctxt`Nadrieril1-10/+9
2020-12-07Make global store of imports and import resultsNadrieril1-44/+69
2020-12-06An import location is not independent from the import modeNadrieril1-102/+100
2020-12-06Prepare `ImportLocation` for more fieldsNadrieril1-32/+69
2020-11-01Implement type checking for With opBasile Henry1-30/+2
2020-11-01fix: clippyNadrieril1-16/+15
2020-11-01feat: add location to import error messagesNadrieril1-2/+10
2020-11-01Ensure that the hash always gets checkedNadrieril1-6/+22
2020-11-01Typed and TypedHir are the sameNadrieril1-18/+12
2020-11-01Untangle caching codeNadrieril1-42/+44
2020-11-01Store file cache in ImportEnvNadrieril1-9/+5
2020-11-01Untangle ImportEnv::handle_importNadrieril1-7/+16
2020-10-10Make reqwest an optional dependencyBasile Henry1-1/+5
2020-09-14spec: Enable `with` optimizationsNadrieril1-2/+30
2020-06-24fix: panic on remote import on wasmNadrieril1-4/+2
2020-05-30Make reqwest build on wasmNadrieril1-3/+13
2020-05-15fixup! Release serde_dhall version 0.5.2fteychene1-30/+33
2020-05-15feat: Add cache resolution on resolvefteychene1-28/+35
2020-04-07Move duplicate field checking to parserNadrieril1-2/+2
2020-04-06Move BinOp and Builtin definitions in the relevant moduleNadrieril1-3/+4
2020-04-06Extract operation-related code to a new moduleNadrieril1-1/+2
2020-04-06Split off operations from main expr enumNadrieril1-10/+11
2020-04-05Check code hashes in importNadrieril1-9/+34
2020-03-31Reorganize API and internals of serde_dhall a bitNadrieril1-1/+1
2020-03-31Introduce option builderNadrieril1-2/+8
2020-03-31Brutally make all of dhall pubNadrieril1-5/+5
2020-03-31Remove top-level Expr aliasesNadrieril1-2/+2
2020-03-17Run clippyNadrieril1-11/+11
2020-03-05Implement conservative sanity checkingNadrieril1-53/+73
2020-03-05Cache imports correctlyNadrieril1-7/+7
2020-03-05Implement remote imports and cleanup import chainingNadrieril1-76/+126
2020-03-05Implement remote `as Location` resolutionNadrieril1-1/+12
2020-03-05Implement `as Text` importsNadrieril1-1/+20
2020-03-05Refactor resolve a bitNadrieril1-80/+76
2020-03-05Implement `missing` and `env:VAR` importsNadrieril1-8/+16
2020-03-05Implement `as Location` importsNadrieril1-30/+99
2020-02-19Avoid re-typechecking after importNadrieril1-9/+11
2020-02-18Discard import headers while we don't use themNadrieril1-2/+7
generated by cgit v1.2.3 (git 2.25.1) at 2024-06-29 10:16:16 +0000