summaryrefslogtreecommitdiff
path: root/dhall/src/syntax (follow)
Commit message (Expand)AuthorAgeFilesLines
* Implement once nice error using annotate_snippetsNadrieril2020-02-011-0/+30
* Move parser files to syntax/Nadrieril2020-01-302-0/+190
* Move main API to lib.rsNadrieril2020-01-302-2/+2
* Cleanup variable handlingNadrieril2020-01-293-13/+7
* 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
* Implement traverse_ref for ValueKindNadrieril2020-01-172-2/+3
* Deserialize more typesNadrieril2020-01-161-0/+4
* Update dhall-lang submoduleNadrieril2019-12-271-8/+7
* Extend merge to work on OptionalsNadrieril2019-12-241-0/+9
* Update dhall-lang submoduleNadrieril2019-12-231-10/+18
* Update dhall-lang submoduleNadrieril2019-12-231-13/+10
* Add two new Integer builtinsNadrieril2019-12-233-0/+6
* rustfmtNadrieril2019-12-222-7/+8
* Implement parsing for record completionNadrieril2019-12-226-8/+48
* Update dhall-lang submoduleNadrieril2019-12-221-0/+2
* Generate parser manually to make the crate publishableNadrieril2019-12-211-3/+9
* Simplify iterator impls for DupTreeMapNadrieril2019-12-201-172/+115
* Use smallvec instead of custom structNadrieril2019-12-201-77/+22
* Fix some commentsNadrieril2019-12-201-2/+2
* Remove Expr::as_mutNadrieril2019-12-201-9/+6
* s/RawExpr/UnspannedExpr/Nadrieril2019-12-204-11/+16
* Reorganize printerNadrieril2019-12-201-135/+132
* 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-206-58/+61
* Move error module to root of crateNadrieril2019-12-202-2/+2
* Rename syntax::core to syntax::astNadrieril2019-12-1911-14/+13
* Remove unused syntax::context moduleNadrieril2019-12-193-82/+0
* TypoNadrieril2019-12-171-1/+1
* Split binary decoding and encoding into separate filesNadrieril2019-12-174-319/+328
* Split syntax module between text and binaryNadrieril2019-12-176-4/+7
* Specialize parsingNadrieril2019-12-172-87/+66
* Move binary encoding/decoding to syntax/Nadrieril2019-12-172-0/+749
* Move pest file generation to dhall/build.rsNadrieril2019-12-171-1/+1
* Move contents of dhall_syntax to dhallNadrieril2019-12-1512-0/+3107