summaryrefslogtreecommitdiff
path: root/dhall/src/syntax/ast (follow)
Commit message (Expand)AuthorAgeFilesLines
* Add Expr visitor and improve tyexpr_to_exprNadrieril2020-01-182-46/+40
* Introduce intermediate representation that stores typed exprNadrieril2020-01-181-1/+1
* Replace all bulk shifting by a single shiftNadrieril2020-01-171-26/+0
* Implement bulk shiftingNadrieril2020-01-171-4/+29
* Simplify Shift and Subst instancesNadrieril2020-01-171-3/+0
* Remove binder idsNadrieril2020-01-171-0/+9
* Implement traverse_ref for ValueKindNadrieril2020-01-172-2/+3
* Deserialize more typesNadrieril2020-01-161-0/+4
* Add two new Integer builtinsNadrieril2019-12-231-0/+2
* Implement parsing for record completionNadrieril2019-12-222-0/+9
* Simplify iterator impls for DupTreeMapNadrieril2019-12-201-172/+115
* Use smallvec instead of custom structNadrieril2019-12-201-77/+22
* Remove Expr::as_mutNadrieril2019-12-201-9/+6
* s/RawExpr/UnspannedExpr/Nadrieril2019-12-201-5/+5
* Use a named struct instead of a tuple in ExprNadrieril2019-12-201-10/+19
* Remove an unused implNadrieril2019-12-201-7/+1
* Reorganize ast::exprNadrieril2019-12-201-75/+76
* s/ExprF/ExprKind/Nadrieril2019-12-202-35/+36
* Rename syntax::core to syntax::astNadrieril2019-12-198-0/+1569