summaryrefslogtreecommitdiff
path: root/dhall/src/syntax (follow)
Commit message (Expand)AuthorAgeFilesLines
* Move duplicate field checking to parserNadrieril2020-04-075-306/+59
* Move BinOp and Builtin definitions in the relevant moduleNadrieril2020-04-065-160/+17
* Extract operation-related code to a new moduleNadrieril2020-04-065-72/+14
* Factor out operations in typecheckNadrieril2020-04-061-2/+2
* Split off operations from main expr enumNadrieril2020-04-066-212/+253
* Check code hashes in importNadrieril2020-04-051-0/+8
* Brutally make all of dhall pubNadrieril2020-03-317-17/+17
* Remove top-level Expr aliasesNadrieril2020-03-311-1/+1
* Rename LitKind to NumKindNadrieril2020-03-316-27/+27
* Fix indexing for spans that go to the end of the inputNadrieril2020-03-311-5/+7
* Upgrade annotate-snippets versionNadrieril2020-03-311-8/+2
* Remove more unnecessary parens in printerNadrieril2020-03-203-10/+35
* Parse RFC3986 URLsNadrieril2020-03-202-2/+22
* Remove never_type featureNadrieril2020-03-171-2/+4
* Run clippyNadrieril2020-03-175-65/+111
* Implement record punsNadrieril2020-03-114-1/+9
* Add support for `with` keywordNadrieril2020-03-103-1/+44
* Implement remote imports and cleanup import chainingNadrieril2020-03-055-34/+34
* Implement remote `as Location` resolutionNadrieril2020-03-051-1/+1
* Implement `as Location` importsNadrieril2020-03-051-29/+0
* Implement some normalization simplificationsNadrieril2020-03-051-1/+1
* Normalization for ProjectionByExprBasile Henry2020-03-021-1/+1
* Add support for dotted field syntaxNadrieril2020-02-202-2/+14
* Add support for duplicate record fieldsNadrieril2020-02-204-21/+46
* Expose fewer pub thingsNadrieril2020-02-193-45/+7
* 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-116-40/+55
* Simplify ExprKind visitorNadrieril2020-02-112-140/+84
* Remove the Embed variant from ExprKindNadrieril2020-02-116-103/+58
* Resolve by ref instead of by mutNadrieril2020-02-092-215/+4
* Workaround panic in a serde_dhall exampleNadrieril2020-02-041-2/+4
* Use Spans consistently by valueNadrieril2020-02-021-5/+1
* Fix spans for unions and recordsNadrieril2020-02-022-17/+24
* 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