summaryrefslogtreecommitdiff
path: root/dhall/src/core (follow)
Commit message (Expand)AuthorAgeFilesLines
* Considerably simplify Embed handlingNadrieril2019-08-132-7/+3
* Stop tracking the absence of Embed values at the type levelNadrieril2019-08-132-11/+11
* TyposNadrieril2019-08-131-2/+2
* s/TypeThunk/TypedThunk/gNadrieril2019-08-132-45/+47
* Swap Typed and TypeThunkNadrieril2019-08-131-21/+104
* Move api into its own crateNadrieril2019-08-131-4/+4
* Remove dhall::expr!() macroNadrieril2019-08-102-9/+45
* Add support for dependent typesNadrieril2019-08-082-1/+22
* Remove union literals from the languageNadrieril2019-08-071-12/+3
* Prepare for https://github.com/dhall-lang/dhall-lang/pull/630Nadrieril2019-08-061-3/+5
* clippyNadrieril2019-05-123-5/+3
* 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