summaryrefslogtreecommitdiff
path: root/dhall/src/phase/normalize.rs (follow)
Commit message (Expand)AuthorAgeFilesLines
* Store Imports in their own node instead of in EmbedNadrieril2019-08-131-0/+3
* Considerably simplify Embed handlingNadrieril2019-08-131-1/+0
* Stop tracking the absence of Embed values at the type levelNadrieril2019-08-131-10/+11
* s/TypeThunk/TypedThunk/gNadrieril2019-08-131-17/+17
* Update dhall-lang submoduleNadrieril2019-08-081-0/+1
* Add support for dependent typesNadrieril2019-08-081-3/+9
* Add truncated Natural subtractionNadrieril2019-08-071-0/+10
* Remove union literals from the languageNadrieril2019-08-071-7/+0
* Prepare for https://github.com/dhall-lang/dhall-lang/pull/630Nadrieril2019-08-061-5/+17
* rustfmtNadrieril2019-08-061-1/+2
* Add some testsNadrieril2019-08-061-0/+10
* Remove old-style optional literalsNadrieril2019-08-061-7/+3
* rustfmtNadrieril2019-08-031-1/+3
* Merge remote-tracking branch 'origin/master' into fintan/typecheck-combine-typesFintanH2019-08-031-0/+54
|\
| * Merge remote-tracking branch 'origin/master' into fintan/typecheck-combineFintanH2019-08-031-9/+10
| |\
| * | Add the typechecking of RecursiveRecordMerge.FintanH2019-08-011-0/+53
* | | Merge remote-tracking branch 'origin/master' into fintan/typecheck-combine-typesFintanH2019-08-031-1/+1
|\ \ \ | | |/ | |/|
| * | Reuse the merge_maps function to implement the right-biased unionFintanH2019-07-311-1/+1
| |/
* / Add typechecking for RecursiveRecordTypeMerge.FintanH2019-08-011-0/+32
|/
* 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