summaryrefslogtreecommitdiff
path: root/dhall/src/syntax/ast (unfollow)
Commit message (Expand)AuthorFilesLines
2020-01-29Finally get rid of all of the shift/subst_shift !Nadrieril1-22/+0
2020-01-29Remove dead codeNadrieril1-4/+0
2020-01-18Add Expr visitor and improve tyexpr_to_exprNadrieril2-46/+40
2020-01-18Introduce intermediate representation that stores typed exprNadrieril1-1/+1
2020-01-17Replace all bulk shifting by a single shiftNadrieril1-26/+0
2020-01-17Implement bulk shiftingNadrieril1-4/+29
2020-01-17Simplify Shift and Subst instancesNadrieril1-3/+0
2020-01-17Remove binder idsNadrieril1-0/+9
2020-01-17Implement traverse_ref for ValueKindNadrieril2-2/+3
2020-01-16Deserialize more typesNadrieril1-0/+4
2019-12-23Add two new Integer builtinsNadrieril1-0/+2
2019-12-22Implement parsing for record completionNadrieril2-0/+9
2019-12-20Simplify iterator impls for DupTreeMapNadrieril1-172/+115
2019-12-20Use smallvec instead of custom structNadrieril1-77/+22
2019-12-20Remove Expr::as_mutNadrieril1-9/+6
2019-12-20s/RawExpr/UnspannedExpr/Nadrieril1-5/+5
2019-12-20Use a named struct instead of a tuple in ExprNadrieril1-10/+19
2019-12-20Remove an unused implNadrieril1-7/+1
2019-12-20Reorganize ast::exprNadrieril1-75/+76
2019-12-20s/ExprF/ExprKind/Nadrieril2-35/+36
2019-12-19Rename syntax::core to syntax::astNadrieril8-0/+1569