summaryrefslogtreecommitdiff
path: root/dhall/src/syntax/ast (unfollow)
Commit message (Expand)AuthorFilesLines
2020-06-25spec: fix precedence of `===` and `with`Nadrieril1-0/+6
2020-04-10Deserialize `Prelude.Map` and `toMap` to a map instead of a listNadrieril1-0/+6
2020-04-07Move duplicate field checking to parserNadrieril3-286/+2
2020-04-06Move BinOp and Builtin definitions in the relevant moduleNadrieril1-68/+1
2020-04-06Extract operation-related code to a new moduleNadrieril1-63/+2
2020-04-06Factor out operations in typecheckNadrieril1-2/+2
2020-04-06Split off operations from main expr enumNadrieril2-106/+115
2020-04-05Check code hashes in importNadrieril1-0/+8
2020-03-31Brutally make all of dhall pubNadrieril4-13/+13
2020-03-31Rename LitKind to NumKindNadrieril2-4/+4
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 printerNadrieril2-2/+22
2020-03-17Remove never_type featureNadrieril1-2/+4
2020-03-17Run clippyNadrieril1-2/+2
2020-03-11Implement record punsNadrieril1-0/+1
2020-03-10Add support for `with` keywordNadrieril1-0/+1
2020-03-05Implement remote imports and cleanup import chainingNadrieril1-5/+5
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 syntaxNadrieril1-1/+2
2020-02-20Add support for duplicate record fieldsNadrieril2-1/+5
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 nodesNadrieril2-12/+15
2020-02-11Simplify ExprKind visitorNadrieril2-140/+84
2020-02-11Remove the Embed variant from ExprKindNadrieril2-57/+31
2020-02-09Resolve by ref instead of by mutNadrieril2-215/+4
2020-02-04Workaround panic in a serde_dhall exampleNadrieril1-2/+4
2020-02-02Fix spans for unions and recordsNadrieril1-0/+6
2020-02-01Implement once nice error using annotate_snippetsNadrieril1-0/+30
2020-01-29Cleanup variable handlingNadrieril1-11/+5
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-23Add two new Integer builtinsNadrieril1-0/+2
2019-12-22Implement parsing for record completionNadrieril2-0/+9
2019-12-20Simplify iterator impls for DupTreeMapNadrieril1-172/+115
2019-12-20Use smallvec instead of custom structNadrieril1-77/+22
2019-12-20Remove Expr::as_mutNadrieril1-9/+6
2019-12-20s/RawExpr/UnspannedExpr/Nadrieril1-5/+5