summaryrefslogtreecommitdiff
path: root/dhall/src/phase/normalize.rs (follow)
Commit message (Expand)AuthorAgeFilesLines
* Merge remote-tracking branch 'origin/master' into fintan/typecheck-combineFintanH2019-08-031-9/+10
|\
| * Reuse the merge_maps function to implement the right-biased unionFintanH2019-07-311-1/+1
* | Add the typechecking of RecursiveRecordMerge.FintanH2019-08-011-0/+53
|/
* clippyNadrieril2019-05-121-97/+102
* Make visibilities more consistentNadrieril2019-05-091-10/+7
* ExprF need not be generic in LabelNadrieril2019-05-091-5/+4
* Detect duplicate record fields in typecheckNadrieril2019-05-091-9/+9
* Generate normalization tests automaticallyNadrieril2019-05-091-361/+0
* Correctly shift free variables in normalizationNadrieril2019-05-091-1/+1
* Update dhall-lang submoduleNadrieril2019-05-091-13/+23
* Move binop normalization into a separate functionNadrieril2019-05-081-165/+153
* Implement normalization for record merging operatorsNadrieril2019-05-081-21/+110
* Implement normalization of missing builtinsNadrieril2019-05-081-21/+68
* Promote shift and subst_shift to traitsNadrieril2019-05-071-0/+1
* Small mistakeNadrieril2019-05-071-1/+3
* Move main datatypes into their own modulesNadrieril2019-05-061-984/+15
* Reorganize dhall into a phase structureNadrieril2019-05-061-0/+1888