summaryrefslogtreecommitdiff
path: root/dhall/src/semantics (unfollow)
Commit message (Expand)AuthorFilesLines
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
2020-04-06oopsNadrieril1-1/+1
2020-04-06Avoid a few allocationsNadrieril2-16/+20
2020-04-06Factor our operations in normalizationNadrieril2-300/+257
2020-04-06Factor out operations in typecheckNadrieril1-415/+436
2020-04-06Split off operations from main expr enumNadrieril5-141/+171
2020-04-05Fix import bugNadrieril1-9/+11
2020-04-05Check code hashes in importNadrieril2-9/+38
2020-04-05Fix clippy warningsNadrieril2-9/+6
2020-03-31Reorganize API and internals of serde_dhall a bitNadrieril1-1/+1
2020-03-31Introduce option builderNadrieril2-5/+11
2020-03-31Move Value, SimpleValue and SimpleType to serdeNadrieril1-4/+1
2020-03-31Brutally make all of dhall pubNadrieril16-76/+76
2020-03-31Nir::normalize isn't usefulNadrieril3-89/+0
2020-03-31Improve handling of builtin types in NirNadrieril4-61/+55
2020-03-31Move conversion to SimpleVal/Ty to simple moduleNadrieril1-81/+0
2020-03-31Remove top-level Expr aliasesNadrieril5-22/+16
2020-03-31Rename LitKind to NumKindNadrieril4-72/+72
2020-03-31Add new Value type in APINadrieril1-2/+2
2020-03-31Add SimpleType to mirror SimpleValueNadrieril1-1/+47
2020-03-31Add SimpleValue type to facilitate deserializationNadrieril1-0/+34
2020-03-17Remove never_type featureNadrieril2-16/+15
2020-03-17Run clippyNadrieril9-53/+54
2020-03-05Implement conservative sanity checkingNadrieril2-56/+76
2020-03-05Cache imports correctlyNadrieril2-19/+19
2020-03-05Implement remote imports and cleanup import chainingNadrieril2-81/+139
2020-03-05Implement remote `as Location` resolutionNadrieril1-1/+12
2020-03-05Implement `as Text` importsNadrieril2-4/+22
2020-03-05Refactor resolve a bitNadrieril1-80/+76
2020-03-05Implement `missing` and `env:VAR` importsNadrieril1-8/+16
2020-03-05Implement `as Location` importsNadrieril2-30/+102
2020-03-05Implement some normalization simplificationsNadrieril1-76/+80
2020-03-02Normalization for ProjectionByExprBasile Henry1-3/+34
2020-02-19Expose fewer pub thingsNadrieril1-2/+5
2020-02-19Avoid re-typechecking after importNadrieril5-14/+23
2020-02-18Discard import headers while we don't use themNadrieril2-11/+8
2020-02-18Remove useless `normalize` option from ToExprOptionsNadrieril2-11/+2
2020-02-18Borrow relevant Hir from TirNadrieril3-33/+32
2020-02-17Remove spans from NirNadrieril1-15/+7
2020-02-17Rename Value to NirNadrieril10-381/+359
2020-02-17Rename TyExpr to TirNadrieril4-27/+27
2020-02-17Factor out desugaring from resolveNadrieril1-22/+31
2020-02-17Extract resolve-relevant envs togetherNadrieril4-112/+118
2020-02-17Move hir and resolve into a moduleNadrieril5-2/+6