summaryrefslogtreecommitdiff
path: root/dhall/src/normalize.rs (follow)
Commit message (Collapse)AuthorAgeFilesLines
* 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
* Use Box more uniformly in ASTNadrieril2019-03-161-18/+20
| | | | Closes #28
* Store an Option in OptionalLit instead of a vecNadrieril2019-03-161-19/+16
| | | | Closes #21
* rustfmtNadrieril2019-03-151-26/+24
|
* Get rid of box patternsNadrieril2019-03-151-13/+13
| | | | Closes #27
* Store a vec in AppNadrieril2019-03-151-145/+128
| | | | Closes #26
* Handle and parse interpolated stringsNadrieril2019-03-141-2/+2
| | | | Closes #25
* Handle Some and None builtinsNadrieril2019-03-121-1/+10
| | | | Closes #19
* Fix List/fold implementationNadrieril2019-03-111-4/+4
|
* Normalize lazilyNadrieril2019-03-111-166/+212
| | | | Closes #7
* Obey clippy lintsNadrieril2019-03-091-1/+1
| | | | Closes #14
* Remove the pervasive Label type parameterNadrieril2019-03-091-3/+3
| | | | Closes #1
* Use new Label type everywhereNadrieril2019-03-091-11/+9
|
* A whole new bunch of tests now pass !Nadrieril2019-03-091-1/+1
|
* Rename dhall! to dhall_expr! for clarityNadrieril2019-03-091-5/+5
|
* Clean up some of the messNadrieril2019-03-081-11/+9
|
* Rename Expr back to its true nameNadrieril2019-03-081-5/+5
|
* Make labels non-CopyNadrieril2019-03-081-5/+5
|
* Slowly propagate the new type parameter throughout the codebaseNadrieril2019-03-081-22/+31
|
* Make Expr generic in its type of labelsNadrieril2019-03-081-1/+1
|
* rustfmtNadrieril2019-03-061-31/+41
|
* Start parsing importsNadrieril2019-03-061-1/+1
|
* Merge dhall_normalize back into dhall; that was unnecessaryNadrieril2019-03-061-0/+181