summaryrefslogtreecommitdiff
path: root/dhall/src/semantics/resolve/env.rs (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Fix import bugNadrieril2020-04-051-9/+11
|
* Fix clippy warningsNadrieril2020-04-051-7/+4
|
* Brutally make all of dhall pubNadrieril2020-03-311-4/+4
|
* 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