summaryrefslogtreecommitdiff
path: root/dhall/src/semantics/resolve.rs (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Remove the Embed variant from ExprKindNadrieril2020-02-111-2/+2
|
* Remove need for EmbedNadrieril2020-02-101-11/+14
| | | | This was an archaic leftover from copying the Haskell datatypes anyway
* 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