summaryrefslogtreecommitdiff
path: root/dhall/src/normalize.rs (follow)
Commit message (Collapse)AuthorAgeFilesLines
* 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
| | | | Closes #36
* Revert "Preserve notes when normalizing"Nadrieril2019-04-161-13/+6
| | | | This reverts commit fd9e37dfbc49e850a784fa3e907bd0a358d91e28.
* Preserve notes when normalizingNadrieril2019-04-161-6/+13
|
* Naming tweaksNadrieril2019-04-161-10/+10
|
* Handle empty optionals correctlyNadrieril2019-04-151-0/+2
| | | | Closes #78
* 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
| | | | Closes #55
* Respect import boundariesNadrieril2019-04-111-23/+24
| | | | Closes #54
* `Some` is not a builtin, it's a keywordNadrieril2019-04-111-1/+0
| | | | Closes #58
* 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
| | | | Closes #20
* 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
|
* rustfmtNadrieril2019-03-211-11/+3
|
* Represent Optional literals more faithfullyNadrieril2019-03-211-16/+9
|
* Reorganize dhall_core a bitNadrieril2019-03-211-1/+1
|
* rustfmtNadrieril2019-03-191-14/+20
|
* Implement a few more primitivesNadrieril2019-03-181-16/+44
|
* Split List literal between empty and non-emptyNadrieril2019-03-181-19/+27
|
* tweaksNadrieril2019-03-181-4/+14
|
* Split off builtin application normalization for clarityNadrieril2019-03-181-168/+149
|
* Improve normalization ergonomicsNadrieril2019-03-181-145/+150
|
* Considerably simplify subst, shift and typecheckingNadrieril2019-03-181-17/+8
|
* Clean up some mess relating to Clone boundsNadrieril2019-03-171-11/+11
|
* Use Rc consistently everywhereNadrieril2019-03-171-173/+235
|
* Use Rc instead of Box in AST to allow structural sharingNadrieril2019-03-161-0/+1
| | | | Closes #29