summaryrefslogtreecommitdiff
path: root/dhall/src/semantics/resolve/env.rs (unfollow)
Commit message (Expand)AuthorFilesLines
2020-04-05Fix import bugNadrieril1-9/+11
2020-04-05Fix clippy warningsNadrieril1-7/+4
2020-03-31Brutally make all of dhall pubNadrieril1-4/+4
2020-03-17Run clippyNadrieril1-1/+1
2020-03-05Implement conservative sanity checkingNadrieril1-3/+3
2020-03-05Cache imports correctlyNadrieril1-12/+12
2020-02-19Avoid re-typechecking after importNadrieril1-4/+4
2020-02-17Extract resolve-relevant envs togetherNadrieril1-0/+104
2020-02-17Move hir and resolve into a moduleNadrieril1-0/+0