summaryrefslogtreecommitdiff
path: root/dhall/src/phase/normalize.rs (unfollow)
Commit message (Collapse)AuthorFilesLines
2019-04-19Split function in two phasesNadrieril1-12/+24
2019-04-19Values carry their evaluation contextNadrieril1-28/+20
2019-04-19A union constructor is a purely semantic valueNadrieril1-32/+123
2019-04-19Store Values in the contextNadrieril1-10/+36
2019-04-19Introduce closuresNadrieril1-62/+120
2019-04-19Type aliasesNadrieril1-10/+13
2019-04-19Make App() only store one argumentNadrieril1-64/+52
2019-04-19A partially applied builtin is a valueNadrieril1-27/+42
2019-04-19Start separating normalized values from syntactic expressionsNadrieril1-121/+178
2019-04-18Label is redundant in EnvItem::SkipNadrieril1-28/+24
2019-04-18Use a context for substitution in normalizationNadrieril1-109/+177
2019-04-18Make normalize manipulate SubExprs more directlyNadrieril1-12/+12
2019-04-18Remove obsolete dhall_expr!() macroNadrieril1-9/+9
2019-04-18Remove more duplicationNadrieril1-10/+8
2019-04-18Start cleaning up the mess of mapping functionsNadrieril1-1/+0
2019-04-17Normalize union constructorsNadrieril1-4/+22
2019-04-16Update dhall-lang submoduleNadrieril1-0/+1
2019-04-16Handle nullary union variantsNadrieril1-5/+5
Closes #36
2019-04-16Revert "Preserve notes when normalizing"Nadrieril1-13/+6
This reverts commit fd9e37dfbc49e850a784fa3e907bd0a358d91e28.
2019-04-16Preserve notes when normalizingNadrieril1-6/+13
2019-04-16Naming tweaksNadrieril1-10/+10
2019-04-15Handle empty optionals correctlyNadrieril1-0/+2
Closes #78
2019-04-14clippyNadrieril1-1/+1
2019-04-14Transform more mapping functions to use the Visitor traitNadrieril1-1/+1
2019-04-14Fix a tiny normalization bugNadrieril1-1/+1
2019-04-12Restrict public API to its most minimal expressionNadrieril1-0/+1
2019-04-11Thread lifetimes through other newtypesNadrieril1-8/+12
Closes #55
2019-04-11Respect import boundariesNadrieril1-23/+24
Closes #54
2019-04-11`Some` is not a builtin, it's a keywordNadrieril1-1/+0
Closes #58
2019-04-10Simplify test harnessNadrieril1-1/+1
2019-04-09Update dhall-lang submoduleNadrieril1-1/+0
2019-04-08clippyNadrieril1-13/+22
2019-04-08Rename spec testsNadrieril1-322/+322
2019-04-08Move spec tests into the relevant filesNadrieril1-0/+340
2019-04-07TweaksNadrieril1-3/+0
2019-04-07Restrict public APINadrieril1-2/+6
Closes #20
2019-04-06Start taking Typed seriouslyNadrieril1-4/+1
2019-04-06Thread Typed through type_withNadrieril1-0/+10
2019-04-06Factor out shift/subst/shift danceNadrieril1-10/+3
2019-04-06Give up on laziness and greatly simplify normalizationNadrieril1-230/+203
2019-04-04Get keyword rule from upstreamNadrieril1-1/+1
2019-04-01Refactor and clarify various map methodsNadrieril1-1/+1
2019-03-31Move recursion out of ExprNadrieril1-3/+3
2019-03-31Make SubExpr a newtypeNadrieril1-19/+20
2019-03-27Manually rustfmt like a naziNadrieril1-2/+12
2019-03-24Correctly namespace interpolations in dhall_expr!()Nadrieril1-1/+0
2019-03-23Handle merge and record projectionNadrieril1-5/+36
2019-03-21rustfmtNadrieril1-11/+3
2019-03-21Represent Optional literals more faithfullyNadrieril1-16/+9
2019-03-21Reorganize dhall_core a bitNadrieril1-1/+1
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-25 16:17:56 +0000