summaryrefslogtreecommitdiff
path: root/dhall/src/core (follow)
Commit message (Expand)AuthorAgeFilesLines
* Merge Type and TypedNadrieril2019-05-091-1/+1
* Make visibilities more consistentNadrieril2019-05-094-67/+54
* Reduce the distance between Type and TypedNadrieril2019-05-091-48/+11
* ExprF need not be generic in LabelNadrieril2019-05-092-8/+4
* Make shift fallible and improve shift ergonomicsNadrieril2019-05-094-118/+147
* Detect duplicate record fields in typecheckNadrieril2019-05-091-6/+6
* Correctly shift free variables in normalizationNadrieril2019-05-091-10/+10
* Implement normalization for record merging operatorsNadrieril2019-05-081-0/+7
* Implement normalization of missing builtinsNadrieril2019-05-081-2/+7
* Fix Context shiftingNadrieril2019-05-081-15/+24
* shift on lookup instead of on insertNadrieril2019-05-082-27/+71
* Replace hashmap-based context with a vec-based oneNadrieril2019-05-071-14/+37
* Don't discard normalization work done by typecheckingNadrieril2019-05-072-31/+54
* Unify typecheck and normalization contextsNadrieril2019-05-072-65/+113
* Promote shift and subst_shift to traitsNadrieril2019-05-074-86/+119
* Move AlphaVar and AlphaLabel into a new moduleNadrieril2019-05-075-105/+110
* Small mistakeNadrieril2019-05-071-1/+1
* Document Value and ThunkNadrieril2019-05-072-8/+21
* Clean up some of the SubExpr type-changing methodsNadrieril2019-05-071-2/+2
* Move main datatypes into their own modulesNadrieril2019-05-064-0/+1050
generated by cgit v1.2.3 (git 2.25.1) at 2024-12-27 13:00:02 +0000