summaryrefslogtreecommitdiff
path: root/dhall/src/ctxt.rs (unfollow)
Commit message (Collapse)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
To make sure we don't let ids escape and we don't mix scopes.
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