summaryrefslogtreecommitdiff
path: root/dhall/src/lib.rs (follow)
Commit message (Collapse)AuthorAgeFilesLines
* add type substitutions to serde_dhallstuebinm2021-04-101-0/+5
| | | | | | | | | | | | | | | | | | | | | | | | 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
* release: dhall version 0.10.1Nadrieril2021-04-031-1/+1
|
* clippy: ignore unknown lintsNadrieril2021-04-031-1/+2
|
* clippy: ignore upper_case_acronymsNadrieril2021-04-031-2/+3
|
* fix: fix formattingNadrieril2021-04-031-1/+1
|
* Ignore clippy's needless question mark lint for the ast visitor macros.Ceri Storey2021-04-031-1/+2
|
* chore: fix clippy warningsNadrieril2021-03-091-0/+1
|
* release: dhall version 0.10.0Nadrieril2021-02-041-1/+1
|
* Soothe clippyNadrieril2020-12-071-0/+1
|
* Resolve imports and alternatives outside of the ast traversalNadrieril2020-12-071-1/+1
|
* Unify `skip_resolve_expr` with normal resolutionNadrieril2020-12-071-2/+13
|
* Thread cx everywhere else imports are readNadrieril2020-12-071-33/+9
|
* Thread cx through normalizationNadrieril2020-12-071-41/+35
|
* Thread cx through typecheckNadrieril2020-12-071-3/+8
|
* Make global store of imports and import resultsNadrieril2020-12-071-0/+3
|
* release: dhall version 0.9.0Nadrieril2020-11-201-1/+1
|
* Untangle caching codeNadrieril2020-11-011-2/+3
|
* release: dhall version 0.8.0Nadrieril2020-10-281-1/+1
|
* Release dhall version 0.7.4Nadrieril2020-10-251-1/+1
|
* Release dhall version 0.7.2Nadrieril2020-10-241-1/+1
|
* Release dhall version 0.7.0Nadrieril2020-09-151-1/+1
|
* Release dhall version 0.6.0Nadrieril2020-08-051-1/+1
|
* refactor: remove old test harnessNadrieril2020-06-241-2/+0
|
* Release dhall version 0.5.3Nadrieril2020-05-301-1/+1
|
* Release dhall version 0.5.2Nadrieril2020-04-121-1/+1
|
* Release dhall version 0.5.1Nadrieril2020-04-091-1/+1
|
* Move builtins module up a levelNadrieril2020-04-061-0/+1
|
* Extract operation-related code to a new moduleNadrieril2020-04-061-0/+1
|
* Release dhall version 0.5.0Nadrieril2020-04-051-1/+1
|
* Fix clippy warningsNadrieril2020-04-051-0/+3
|
* Introduce option builderNadrieril2020-03-311-0/+3
|
* Move Value, SimpleValue and SimpleType to serdeNadrieril2020-03-311-63/+3
|
* Brutally make all of dhall pubNadrieril2020-03-311-15/+15
|
* Nir::normalize isn't usefulNadrieril2020-03-311-1/+3
| | | | | It pretends to normalize but actually can't normalize under lambdas. The correct way to normalize a Nir is to convert it to Hir.
* Move conversion to SimpleVal/Ty to simple moduleNadrieril2020-03-311-2/+2
|
* Remove top-level Expr aliasesNadrieril2020-03-311-13/+9
|
* Limit dependency on NormalizedNadrieril2020-03-311-66/+10
|
* Remove Normalized and friends from public APINadrieril2020-03-311-28/+14
|
* Add new Value type in APINadrieril2020-03-311-4/+60
|
* Add SimpleType to mirror SimpleValueNadrieril2020-03-311-1/+5
|
* Add SimpleValue type to facilitate deserializationNadrieril2020-03-311-2/+8
|
* Update to latest pest_consume to remove spurious clippy warningNadrieril2020-03-181-1/+0
|
* Cut releaseNadrieril2020-03-181-1/+1
|
* Remove never_type featureNadrieril2020-03-171-1/+0
|
* Run clippyNadrieril2020-03-171-6/+4
|
* Implement remote imports and cleanup import chainingNadrieril2020-03-051-2/+6
|
* Cut releaseNadrieril2020-02-211-1/+1
|
* Avoid re-typechecking after importNadrieril2020-02-191-0/+3
|
* Remove useless `normalize` option from ToExprOptionsNadrieril2020-02-181-15/+4
|
* Borrow relevant Hir from TirNadrieril2020-02-181-7/+18
|