summaryrefslogtreecommitdiff
path: root/dhall/src/core/context.rs (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Make visibilities more consistentNadrieril2019-05-091-19/+15
|
* Make shift fallible and improve shift ergonomicsNadrieril2019-05-091-33/+32
|
* Correctly shift free variables in normalizationNadrieril2019-05-091-10/+10
|
* Fix Context shiftingNadrieril2019-05-081-15/+24
|
* shift on lookup instead of on insertNadrieril2019-05-081-25/+52
|
* Replace hashmap-based context with a vec-based oneNadrieril2019-05-071-14/+37
|
* Don't discard normalization work done by typecheckingNadrieril2019-05-071-25/+8
|
* Unify typecheck and normalization contextsNadrieril2019-05-071-65/+101
|
* Promote shift and subst_shift to traitsNadrieril2019-05-071-39/+45
|
* Move AlphaVar and AlphaLabel into a new moduleNadrieril2019-05-071-1/+2
|
* Move main datatypes into their own modulesNadrieril2019-05-061-0/+136