summaryrefslogtreecommitdiff
path: root/dhall/src/syntax (unfollow)
Commit message (Collapse)AuthorFilesLines
2021-04-10add type substitutions to serde_dhallstuebinm1-0/+13
this adds subsititutions, which work similar to the `Dhall.substitutions` mechanism of the Haskell dhall package, and which can be used e.g. like this: ```rust serde_dhall.from_str(...) .substitute_names(hashmap!["Newtype" => static_type]) .parse::<SimpleType>()? ``` The idea behind this is to make it easy to add programmer-defined types which may be used in configs for programs, without forcing the program's users to re-import the same type definitions each time (or the programmers to keep the dhall-based definitions in sync with their rust types, since these are now generated automatically). Caveats so far: - makes some of the code ugly (dhall internals are now used in serde_dhall/src/lib.rs, for example) - haven't tested error messages so far - some unecessary copying of strings and static type values
2021-04-03Avoid ambiguity from use of Itertools::intersperse.Ceri Storey1-3/+1
2020-11-01Untangle caching codeNadrieril4-6/+5
2020-10-30Roll our own Value for binary decodingNadrieril1-12/+162
2020-10-30Don't use serde_cbor::Value in binary encodingNadrieril1-40/+40
2020-10-28No need to escape underscores in pretty-printingNadrieril1-1/+3
2020-10-28Prefer u64/i64 to usize/isizeNadrieril2-6/+5
2020-10-27Make `SimpleValue` deserializable within other typesNadrieril1-0/+1
Fixes https://github.com/Nadrieril/dhall-rust/issues/184
2020-10-25Implement Text/replaceBasile Henry1-0/+2
2020-09-14spec: Enable `with` optimizationsNadrieril5-22/+34
2020-06-25spec: allow trailing delimitersNadrieril1-6/+7
2020-06-25spec!: remove Optional/build and Optional/foldNadrieril1-4/+3
2020-06-25spec: remove Unicode character from `dhall.abnf`Nadrieril1-1/+1
2020-06-25spec!: remove the ability to quote paths in URLsNadrieril3-14/+8
2020-06-25spec: ensure `keyword` rule only matches keywordsNadrieril1-2/+4
2020-06-25spec: not all ABNF parsers like empty rulesNadrieril3-44/+21
2020-06-25spec: allow quoted labels to be emptyNadrieril2-2/+4
2020-06-25spec: fix precedence of `===` and `with`Nadrieril3-9/+21
2020-06-20fix(ci): grammar sync test fails spuriously on ciNadrieril1-0/+1
2020-05-30Commit grammar file locallyNadrieril2-0/+965
The crate publishing process does not allow access to files outside the current crate.
2020-05-30Use dhall.abnf directly instead of via symlinkNadrieril1-1/+0
Because windows doesn't support symlinks properly
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