summaryrefslogtreecommitdiff
path: root/dhall/src/syntax (unfollow)
Commit message (Expand)AuthorFilesLines
2020-05-30Use dhall.abnf directly instead of via symlinkNadrieril1-1/+0
2020-04-10Deserialize `Prelude.Map` and `toMap` to a map instead of a listNadrieril1-0/+6
2020-04-09Move Label escaping out of its Display implNadrieril1-21/+33
2020-04-07Move duplicate field checking to parserNadrieril5-306/+59
2020-04-06Move BinOp and Builtin definitions in the relevant moduleNadrieril5-160/+17
2020-04-06Extract operation-related code to a new moduleNadrieril5-72/+14
2020-04-06Factor out operations in typecheckNadrieril1-2/+2
2020-04-06Split off operations from main expr enumNadrieril6-212/+253
2020-04-05Check code hashes in importNadrieril1-0/+8
2020-03-31Brutally make all of dhall pubNadrieril7-17/+17
2020-03-31Remove top-level Expr aliasesNadrieril1-1/+1
2020-03-31Rename LitKind to NumKindNadrieril6-27/+27
2020-03-31Fix indexing for spans that go to the end of the inputNadrieril1-5/+7
2020-03-31Upgrade annotate-snippets versionNadrieril1-8/+2
2020-03-20Remove more unnecessary parens in printerNadrieril3-10/+35
2020-03-20Parse RFC3986 URLsNadrieril2-2/+22
2020-03-17Remove never_type featureNadrieril1-2/+4
2020-03-17Run clippyNadrieril5-65/+111
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