summaryrefslogtreecommitdiff
path: root/dhall/src/semantics/resolve.rs (follow)
Commit message (Expand)AuthorAgeFilesLines
* Remove the Embed variant from ExprKindNadrieril2020-02-111-2/+2
* Remove need for EmbedNadrieril2020-02-101-11/+14
* Take Hir for typecheckNadrieril2020-02-091-8/+5
* Resolve variables alongside import resolutionNadrieril2020-02-091-37/+56
* Resolve by ref instead of by mutNadrieril2020-02-091-59/+77
* Introduce environment for import resolutionNadrieril2020-02-091-31/+56
* Move parse and resolve up a levelNadrieril2020-01-301-0/+181