summaryrefslogtreecommitdiff
path: root/dhall/src/normalize.rs (follow)
Commit message (Expand)AuthorAgeFilesLines
* Embrace WHNFNadrieril2019-04-191-79/+77
* Handle RecordLits fully semanticallyNadrieril2019-04-191-16/+28
* Split function in two phasesNadrieril2019-04-191-12/+24
* Values carry their evaluation contextNadrieril2019-04-191-28/+20
* A union constructor is a purely semantic valueNadrieril2019-04-191-32/+123
* Store Values in the contextNadrieril2019-04-191-10/+36
* Introduce closuresNadrieril2019-04-191-62/+120
* Type aliasesNadrieril2019-04-191-10/+13
* Make App() only store one argumentNadrieril2019-04-191-64/+52
* A partially applied builtin is a valueNadrieril2019-04-191-27/+42
* Start separating normalized values from syntactic expressionsNadrieril2019-04-191-121/+178
* Label is redundant in EnvItem::SkipNadrieril2019-04-181-28/+24
* Use a context for substitution in normalizationNadrieril2019-04-181-109/+177
* Make normalize manipulate SubExprs more directlyNadrieril2019-04-181-12/+12
* Remove obsolete dhall_expr!() macroNadrieril2019-04-181-9/+9
* Remove more duplicationNadrieril2019-04-181-10/+8
* Start cleaning up the mess of mapping functionsNadrieril2019-04-181-1/+0
* Normalize union constructorsNadrieril2019-04-171-4/+22
* Update dhall-lang submoduleNadrieril2019-04-161-0/+1
* Handle nullary union variantsNadrieril2019-04-161-5/+5
* Revert "Preserve notes when normalizing"Nadrieril2019-04-161-13/+6
* Preserve notes when normalizingNadrieril2019-04-161-6/+13
* Naming tweaksNadrieril2019-04-161-10/+10
* Handle empty optionals correctlyNadrieril2019-04-151-0/+2
* clippyNadrieril2019-04-141-1/+1
* Transform more mapping functions to use the Visitor traitNadrieril2019-04-141-1/+1
* Fix a tiny normalization bugNadrieril2019-04-141-1/+1
* Restrict public API to its most minimal expressionNadrieril2019-04-121-0/+1
* Thread lifetimes through other newtypesNadrieril2019-04-111-8/+12
* Respect import boundariesNadrieril2019-04-111-23/+24
* `Some` is not a builtin, it's a keywordNadrieril2019-04-111-1/+0
* Simplify test harnessNadrieril2019-04-101-1/+1
* Update dhall-lang submoduleNadrieril2019-04-091-1/+0
* clippyNadrieril2019-04-081-13/+22
* Rename spec testsNadrieril2019-04-081-322/+322
* Move spec tests into the relevant filesNadrieril2019-04-081-0/+340
* TweaksNadrieril2019-04-071-3/+0
* Restrict public APINadrieril2019-04-071-2/+6
* Start taking Typed seriouslyNadrieril2019-04-061-4/+1
* Thread Typed through type_withNadrieril2019-04-061-0/+10
* Factor out shift/subst/shift danceNadrieril2019-04-061-10/+3
* Merge branch 'master' into exprfNadrieril2019-04-061-1/+1
|\
| * Get keyword rule from upstreamNadrieril2019-04-041-1/+1
* | Give up on laziness and greatly simplify normalizationNadrieril2019-04-061-230/+203
* | Refactor and clarify various map methodsNadrieril2019-04-011-1/+1
* | Move recursion out of ExprNadrieril2019-03-311-3/+3
* | Make SubExpr a newtypeNadrieril2019-03-311-19/+20
|/
* Manually rustfmt like a naziNadrieril2019-03-271-2/+12
* Correctly namespace interpolations in dhall_expr!()Nadrieril2019-03-241-1/+0
* Handle merge and record projectionNadrieril2019-03-231-5/+36
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-02 21:57:15 +0000