summaryrefslogtreecommitdiff
path: root/dhall/src/semantics/resolve/env.rs (unfollow)
Commit message (Expand)AuthorFilesLines
2020-12-07Avoid storing an import before we checked its hashNadrieril1-8/+13
2020-12-07Thread cx everywhere else imports are readNadrieril1-5/+13
2020-12-07Tag cx ids with the cx lifetimeNadrieril1-3/+3
2020-12-07Thread cx through normalizationNadrieril1-5/+8
2020-12-07Make global store of imports and import resultsNadrieril1-18/+19
2020-11-01Ensure that the hash always gets checkedNadrieril1-13/+18
2020-11-01Typed and TypedHir are the sameNadrieril1-6/+7
2020-11-01Untangle caching codeNadrieril1-8/+24
2020-11-01Store file cache in ImportEnvNadrieril1-9/+14
2020-11-01Untangle ImportEnv::handle_importNadrieril1-22/+21
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
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-02 16:15:38 +0000