summaryrefslogtreecommitdiff
path: root/dhall/src/semantics/resolve/env.rs (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Run clippyNadrieril2020-03-171-1/+1
|
* Implement conservative sanity checkingNadrieril2020-03-051-3/+3
|
* Cache imports correctlyNadrieril2020-03-051-12/+12
|
* Avoid re-typechecking after importNadrieril2020-02-191-4/+4
|
* Extract resolve-relevant envs togetherNadrieril2020-02-171-0/+104
|
* Move hir and resolve into a moduleNadrieril2020-02-171-0/+0