summaryrefslogtreecommitdiff
path: root/dhall/src/syntax (unfollow)
Commit message (Expand)AuthorFilesLines
2020-03-11Implement record punsNadrieril4-1/+9
2020-03-10Add support for `with` keywordNadrieril3-1/+44
2020-03-05Implement remote imports and cleanup import chainingNadrieril5-34/+34
2020-03-05Implement remote `as Location` resolutionNadrieril1-1/+1
2020-03-05Implement `as Location` importsNadrieril1-29/+0
2020-03-05Implement some normalization simplificationsNadrieril1-1/+1
2020-03-02Normalization for ProjectionByExprBasile Henry1-1/+1
2020-02-20Add support for dotted field syntaxNadrieril2-2/+14
2020-02-20Add support for duplicate record fieldsNadrieril4-21/+46
2020-02-19Expose fewer pub thingsNadrieril3-45/+7
2020-02-17Remove some unused codeNadrieril1-24/+0
2020-02-16Start requiring Universe to build a TypeNadrieril1-0/+7
2020-02-11Introduce LitKind to factor out common enum nodesNadrieril6-40/+55
2020-02-11Simplify ExprKind visitorNadrieril2-140/+84
2020-02-11Remove the Embed variant from ExprKindNadrieril6-103/+58
2020-02-09Resolve by ref instead of by mutNadrieril2-215/+4
2020-02-04Workaround panic in a serde_dhall exampleNadrieril1-2/+4
2020-02-02Use Spans consistently by valueNadrieril1-5/+1
2020-02-02Fix spans for unions and recordsNadrieril2-17/+24
2020-02-01Implement once nice error using annotate_snippetsNadrieril1-0/+30
2020-01-30Move parser files to syntax/Nadrieril2-0/+190
2020-01-30Move main API to lib.rsNadrieril2-2/+2
2020-01-29Cleanup variable handlingNadrieril3-13/+7
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-27Update dhall-lang submoduleNadrieril1-8/+7
2019-12-24Extend merge to work on OptionalsNadrieril1-0/+9
2019-12-23Update dhall-lang submoduleNadrieril1-10/+18
2019-12-23Update dhall-lang submoduleNadrieril1-13/+10
2019-12-23Add two new Integer builtinsNadrieril3-0/+6
2019-12-22rustfmtNadrieril2-7/+8
2019-12-22Implement parsing for record completionNadrieril6-8/+48
2019-12-22Update dhall-lang submoduleNadrieril1-0/+2
2019-12-21Generate parser manually to make the crate publishableNadrieril1-3/+9
2019-12-20Simplify iterator impls for DupTreeMapNadrieril1-172/+115
2019-12-20Use smallvec instead of custom structNadrieril1-77/+22
2019-12-20Fix some commentsNadrieril1-2/+2
2019-12-20Remove Expr::as_mutNadrieril1-9/+6
2019-12-20s/RawExpr/UnspannedExpr/Nadrieril4-11/+16
2019-12-20Reorganize printerNadrieril1-135/+132
2019-12-20Use a named struct instead of a tuple in ExprNadrieril1-10/+19
2019-12-20Remove an unused implNadrieril1-7/+1