summaryrefslogtreecommitdiff
path: root/dhall/src/syntax/ast (unfollow)
Commit message (Expand)AuthorFilesLines
2020-11-01Untangle caching codeNadrieril2-4/+3
2020-10-28Prefer u64/i64 to usize/isizeNadrieril1-3/+2
2020-10-27Make `SimpleValue` deserializable within other typesNadrieril1-0/+1
2020-09-14spec: Enable `with` optimizationsNadrieril1-1/+0
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
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-03 20:35:53 +0000