summaryrefslogtreecommitdiff
path: root/dhall/src/syntax/ast (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Remove some unused codeNadrieril2020-02-171-24/+0
|
* Start requiring Universe to build a TypeNadrieril2020-02-161-0/+7
|
* Introduce LitKind to factor out common enum nodesNadrieril2020-02-112-12/+15
|
* Simplify ExprKind visitorNadrieril2020-02-112-140/+84
|
* Remove the Embed variant from ExprKindNadrieril2020-02-112-57/+31
|
* Resolve by ref instead of by mutNadrieril2020-02-092-215/+4
|
* Workaround panic in a serde_dhall exampleNadrieril2020-02-041-2/+4
| | | | | Unsure what's causing it, most probably mixing of spans from different inputs
* Fix spans for unions and recordsNadrieril2020-02-021-0/+6
|
* Implement once nice error using annotate_snippetsNadrieril2020-02-011-0/+30
|
* 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-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
| | | | The underlying purpose of them turned out to be unsound
* 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