summaryrefslogtreecommitdiff
path: root/dhall/src/semantics/resolve/resolve.rs (unfollow)
Commit message (Expand)AuthorFilesLines
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
2020-02-17Factor out desugaring from resolveNadrieril1-22/+31
2020-02-17Extract resolve-relevant envs togetherNadrieril1-56/+7
2020-02-17Move hir and resolve into a moduleNadrieril1-0/+0
2020-02-15Desugar Completion during resolutionNadrieril1-12/+33
2020-02-11Remove the Embed variant from ExprKindNadrieril1-2/+2
2020-02-10Remove need for EmbedNadrieril1-11/+14
2020-02-09Take Hir for typecheckNadrieril1-8/+5
2020-02-09Resolve variables alongside import resolutionNadrieril1-37/+56
2020-02-09Resolve by ref instead of by mutNadrieril1-59/+77
2020-02-09Introduce environment for import resolutionNadrieril1-31/+56
2020-01-30Move parse and resolve up a levelNadrieril1-0/+0
2020-01-30Move main API to lib.rsNadrieril1-1/+1
2020-01-30Remove old typecheck moduleNadrieril1-6/+2
2020-01-27Fix a bunch of bugs and more tckNadrieril1-2/+6
2019-12-20Move error module to root of crateNadrieril1-1/+1
2019-12-15Refer to semantics module properlyNadrieril1-2/+2
2019-12-15Avoid mention of `crate::` outside of top-level importsNadrieril1-3/+4
2019-12-15Move contents of dhall under a semantics submoduleNadrieril1-0/+0
2019-12-15Reexport dhall_syntax as a module in dhallNadrieril1-4/+4
2019-11-11Generate import tests automaticallyNadrieril1-47/+0
2019-11-11Run `cargo fmt`Nadrieril1-46/+48
2019-09-03Resolve imports by mutating Expr instead of cloning itNadrieril1-19/+22
2019-09-03Move Canonicalize into resolve.Fintan Halpenny1-0/+70
2019-08-30Rework test harness to prepare for new types of testsNadrieril1-2/+11
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-04 15:52:32 +0000