summaryrefslogtreecommitdiff
path: root/dhall/src/syntax/ast/expr.rs (follow)
Commit message (Expand)AuthorAgeFilesLines
* Implement some normalization simplificationsNadrieril2020-03-051-1/+1
* Normalization for ProjectionByExprBasile Henry2020-03-021-1/+1
* Add support for duplicate record fieldsNadrieril2020-02-201-1/+3
* Expose fewer pub thingsNadrieril2020-02-191-16/+3
* Start requiring Universe to build a TypeNadrieril2020-02-161-0/+7
* Introduce LitKind to factor out common enum nodesNadrieril2020-02-111-8/+14
* Simplify ExprKind visitorNadrieril2020-02-111-2/+2
* Remove the Embed variant from ExprKindNadrieril2020-02-111-39/+19
* Resolve by ref instead of by mutNadrieril2020-02-091-49/+4
* Fix spans for unions and recordsNadrieril2020-02-021-0/+6
* Cleanup variable handlingNadrieril2020-01-291-11/+5
* Finally get rid of all of the shift/subst_shift !Nadrieril2020-01-291-22/+0
* Remove dead codeNadrieril2020-01-291-4/+0
* Add Expr visitor and improve tyexpr_to_exprNadrieril2020-01-181-14/+33
* 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-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