summaryrefslogtreecommitdiff
path: root/dhall/src/phase (unfollow)
Commit message (Expand)AuthorFilesLines
2019-05-08Implement normalization for record merging operatorsNadrieril2-21/+113
2019-05-08Rename the record combining operators internallyNadrieril1-3/+3
2019-05-08Implement normalization of missing builtinsNadrieril1-21/+68
2019-05-07Don't discard normalization work done by typecheckingNadrieril1-52/+93
2019-05-07Slight improvement to typecheck ergonomicsNadrieril1-59/+28
2019-05-07Unify typecheck and normalization contextsNadrieril2-5/+2
2019-05-07Promote shift and subst_shift to traitsNadrieril3-29/+42
2019-05-07Move AlphaVar and AlphaLabel into a new moduleNadrieril1-1/+2
2019-05-07Small mistakeNadrieril1-1/+3
2019-05-07Clean up some of the SubExpr type-changing methodsNadrieril2-4/+4
2019-05-07Unify Type, TypeInternal and TypedNadrieril2-116/+43
2019-05-06Move main datatypes into their own modulesNadrieril3-1194/+160
2019-05-06Consolidate errors in the error moduleNadrieril4-125/+25
2019-05-06Reorganize dhall into a phase structureNadrieril6-0/+4093