summaryrefslogtreecommitdiff
path: root/dhall/src/ctxt.rs (unfollow)
Commit message (Expand)AuthorFilesLines
2020-12-07Resolve imports and alternatives outside of the ast traversalNadrieril1-64/+139
2020-12-07Thread cx everywhere else imports are readNadrieril1-0/+6
2020-12-07Tag cx ids with the cx lifetimeNadrieril1-15/+27
2020-12-07Thread cx through normalizationNadrieril1-6/+6
2020-12-07Thread cx through typecheckNadrieril1-0/+8
2020-12-07Improve ergonomics of `Ctxt`Nadrieril1-45/+46
2020-12-07Make global store of imports and import resultsNadrieril1-0/+109