summaryrefslogtreecommitdiff
path: root/dhall/src/semantics/resolve/env.rs (follow)
Commit message (Expand)AuthorAgeFilesLines
* Avoid storing an import before we checked its hashNadrieril2020-12-071-8/+13
* Thread cx everywhere else imports are readNadrieril2020-12-071-5/+13
* Tag cx ids with the cx lifetimeNadrieril2020-12-071-3/+3
* Thread cx through normalizationNadrieril2020-12-071-5/+8
* Make global store of imports and import resultsNadrieril2020-12-071-18/+19
* Ensure that the hash always gets checkedNadrieril2020-11-011-13/+18
* Typed and TypedHir are the sameNadrieril2020-11-011-6/+7
* Untangle caching codeNadrieril2020-11-011-8/+24
* Store file cache in ImportEnvNadrieril2020-11-011-9/+14
* Untangle ImportEnv::handle_importNadrieril2020-11-011-22/+21
* 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
generated by cgit v1.2.3 (git 2.25.1) at 2024-06-30 20:52:56 +0000