summaryrefslogtreecommitdiff
path: root/dhall/src/syntax/ast/expr.rs (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Implement bulk shiftingNadrieril2020-01-171-4/+29
|
* Simplify Shift and Subst instancesNadrieril2020-01-171-3/+0
|
* Remove binder idsNadrieril2020-01-171-0/+9
| | | | The underlying purpose of them turned out to be unsound
* Implement traverse_ref for ValueKindNadrieril2020-01-171-1/+1
|
* Add two new Integer builtinsNadrieril2019-12-231-0/+2
|
* Implement parsing for record completionNadrieril2019-12-221-0/+2
|
* 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-201-12/+12
|
* Rename syntax::core to syntax::astNadrieril2019-12-191-0/+377