summaryrefslogtreecommitdiff
path: root/dhall/src/syntax (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Untangle caching codeNadrieril2020-11-014-6/+5
|
* Roll our own Value for binary decodingNadrieril2020-10-301-12/+162
|
* Don't use serde_cbor::Value in binary encodingNadrieril2020-10-301-40/+40
|
* No need to escape underscores in pretty-printingNadrieril2020-10-281-1/+3
|
* Prefer u64/i64 to usize/isizeNadrieril2020-10-282-6/+5
|
* Make `SimpleValue` deserializable within other typesNadrieril2020-10-271-0/+1
| | | | Fixes https://github.com/Nadrieril/dhall-rust/issues/184
* Implement Text/replaceBasile Henry2020-10-251-0/+2
|
* spec: Enable `with` optimizationsNadrieril2020-09-145-22/+34
|
* spec: allow trailing delimitersNadrieril2020-06-251-6/+7
|
* spec!: remove Optional/build and Optional/foldNadrieril2020-06-251-4/+3
|
* spec: remove Unicode character from `dhall.abnf`Nadrieril2020-06-251-1/+1
|
* spec!: remove the ability to quote paths in URLsNadrieril2020-06-253-14/+8
|
* spec: ensure `keyword` rule only matches keywordsNadrieril2020-06-251-2/+4
|
* spec: not all ABNF parsers like empty rulesNadrieril2020-06-253-44/+21
|
* spec: allow quoted labels to be emptyNadrieril2020-06-252-2/+4
|
* spec: fix precedence of `===` and `with`Nadrieril2020-06-253-9/+21
|
* fix(ci): grammar sync test fails spuriously on ciNadrieril2020-06-201-0/+1
|
* Commit grammar file locallyNadrieril2020-05-302-0/+965
| | | | | The crate publishing process does not allow access to files outside the current crate.
* Use dhall.abnf directly instead of via symlinkNadrieril2020-05-301-1/+0
| | | | Because windows doesn't support symlinks properly
* Deserialize `Prelude.Map` and `toMap` to a map instead of a listNadrieril2020-04-101-0/+6
|
* Move Label escaping out of its Display implNadrieril2020-04-091-21/+33
|
* 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
|