summaryrefslogtreecommitdiff
path: root/dhall/src/syntax (unfollow)
Commit message (Expand)AuthorFilesLines
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
2019-12-20Reorganize ast::exprNadrieril1-75/+76
2019-12-20s/ExprF/ExprKind/Nadrieril6-58/+61
2019-12-20Move error module to root of crateNadrieril2-2/+2
2019-12-19Rename syntax::core to syntax::astNadrieril11-14/+13
2019-12-19Remove unused syntax::context moduleNadrieril3-82/+0
2019-12-17TypoNadrieril1-1/+1
2019-12-17Split binary decoding and encoding into separate filesNadrieril4-319/+328
2019-12-17Split syntax module between text and binaryNadrieril6-4/+7
2019-12-17Specialize parsingNadrieril2-87/+66
2019-12-17Move binary encoding/decoding to syntax/Nadrieril2-0/+749
2019-12-17Move pest file generation to dhall/build.rsNadrieril1-1/+1
2019-12-15Move contents of dhall_syntax to dhallNadrieril12-0/+3107