summaryrefslogtreecommitdiff
path: root/dhall/src/normalize.rs (unfollow)
Commit message (Expand)AuthorFilesLines
2019-04-07Restrict public APINadrieril1-2/+6
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
2019-03-19rustfmtNadrieril1-14/+20
2019-03-18Implement a few more primitivesNadrieril1-16/+44
2019-03-18Split List literal between empty and non-emptyNadrieril1-19/+27
2019-03-18tweaksNadrieril1-4/+14
2019-03-18Split off builtin application normalization for clarityNadrieril1-168/+149
2019-03-18Improve normalization ergonomicsNadrieril1-145/+150
2019-03-18Considerably simplify subst, shift and typecheckingNadrieril1-17/+8
2019-03-17Clean up some mess relating to Clone boundsNadrieril1-11/+11
2019-03-17Use Rc consistently everywhereNadrieril1-173/+235
2019-03-16Use Rc instead of Box in AST to allow structural sharingNadrieril1-0/+1
2019-03-16Use Box more uniformly in ASTNadrieril1-18/+20
2019-03-16Store an Option in OptionalLit instead of a vecNadrieril1-19/+16
2019-03-15rustfmtNadrieril1-26/+24
2019-03-15Get rid of box patternsNadrieril1-13/+13
2019-03-15Store a vec in AppNadrieril1-145/+128
2019-03-14Handle and parse interpolated stringsNadrieril1-2/+2
2019-03-12Handle Some and None builtinsNadrieril1-1/+10
2019-03-11Fix List/fold implementationNadrieril1-4/+4
2019-03-11Normalize lazilyNadrieril1-166/+212
2019-03-09Obey clippy lintsNadrieril1-1/+1
2019-03-09Remove the pervasive Label type parameterNadrieril1-3/+3
2019-03-09Use new Label type everywhereNadrieril1-11/+9
2019-03-09A whole new bunch of tests now pass !Nadrieril1-1/+1
2019-03-09Rename dhall! to dhall_expr! for clarityNadrieril1-5/+5
2019-03-08Clean up some of the messNadrieril1-11/+9
2019-03-08Rename Expr back to its true nameNadrieril1-5/+5
2019-03-08Make labels non-CopyNadrieril1-5/+5
2019-03-08Slowly propagate the new type parameter throughout the codebaseNadrieril1-22/+31
2019-03-08Make Expr generic in its type of labelsNadrieril1-1/+1
2019-03-06rustfmtNadrieril1-31/+41
2019-03-06Start parsing importsNadrieril1-1/+1
2019-03-06Merge dhall_normalize back into dhall; that was unnecessaryNadrieril1-0/+0
2019-03-06Handle correctly captured variables in dhall!Nadrieril1-4/+1
2019-03-06Remove more clutter in normalizeNadrieril1-7/+7
2019-03-06rustfmtNadrieril1-3/+9