summaryrefslogtreecommitdiff
path: root/dhall/src/semantics/resolve (unfollow)
Commit message (Expand)AuthorFilesLines
2020-03-05Implement conservative sanity checkingNadrieril2-56/+76
2020-03-05Cache imports correctlyNadrieril2-19/+19
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` importsNadrieril2-30/+102
2020-02-19Avoid re-typechecking after importNadrieril3-14/+21
2020-02-18Discard import headers while we don't use themNadrieril2-11/+8
2020-02-18Remove useless `normalize` option from ToExprOptionsNadrieril1-8/+2
2020-02-18Borrow relevant Hir from TirNadrieril1-3/+17
2020-02-17Rename Value to NirNadrieril1-3/+3
2020-02-17Rename TyExpr to TirNadrieril1-2/+2
2020-02-17Factor out desugaring from resolveNadrieril1-22/+31
2020-02-17Extract resolve-relevant envs togetherNadrieril3-58/+113
2020-02-17Move hir and resolve into a moduleNadrieril4-0/+400
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-04 20:05:35 +0000