Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | substitutions: add documentation | stuebinm | 2021-04-10 | 1 | -0/+37 |
| | |||||
* | add type substitutions to serde_dhall | stuebinm | 2021-04-10 | 3 | -2/+46 |
| | | | | | | | | | | | | | | | | | | | | | | | | 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: serde_dhall version 0.10.1 | Nadrieril | 2021-04-03 | 5 | -5/+8 |
| | |||||
* | release: dhall_proc_macros version 0.5.1 | Nadrieril | 2021-04-03 | 4 | -4/+4 |
| | |||||
* | release: dhall version 0.10.1 | Nadrieril | 2021-04-03 | 4 | -4/+4 |
| | |||||
* | ci: give up on clippy | Nadrieril | 2021-04-03 | 1 | -20/+21 |
| | |||||
* | ci: maybe this will finally fix clippy? | Nadrieril | 2021-04-03 | 1 | -1/+1 |
| | |||||
* | clippy: ignore unknown lints | Nadrieril | 2021-04-03 | 1 | -1/+2 |
| | |||||
* | ci: more clippy fixes | Nadrieril | 2021-04-03 | 2 | -2/+2 |
| | |||||
* | ci: disable coverage in a way that passes | Nadrieril | 2021-04-03 | 1 | -89/+91 |
| | |||||
* | clippy: fix lint name | Nadrieril | 2021-04-03 | 1 | -1/+1 |
| | |||||
* | ci: pin clippy version | Nadrieril | 2021-04-03 | 1 | -0/+2 |
| | |||||
* | clippy: ignore upper_case_acronyms | Nadrieril | 2021-04-03 | 1 | -2/+3 |
| | |||||
* | fix: fix formatting | Nadrieril | 2021-04-03 | 1 | -1/+1 |
| | |||||
* | Merge pull request #215 from cstorey/remove-redundant-semicolons | Nadrieril | 2021-04-03 | 8 | -28/+42 |
|\ | |||||
| * | Ignore clippy's needless question mark lint for the ast visitor macros. | Ceri Storey | 2021-04-03 | 1 | -1/+2 |
| | | |||||
| * | Avoid ambiguity from use of Itertools::intersperse. | Ceri Storey | 2021-04-03 | 2 | -6/+5 |
| | | |||||
| * | Replace a bunch of Err(…)? and format!("constant") calls. | Ceri Storey | 2021-03-27 | 3 | -18/+32 |
| | | |||||
| * | Remove a redundant semicolon in a test for good measure. | Ceri Storey | 2021-03-27 | 1 | -2/+2 |
| | | |||||
| * | Remove redundant semicolons in derived StaticType implementation. | Ceri Storey | 2021-03-27 | 1 | -1/+1 |
|/ | |||||
* | fix: don't use `Option` to signal errors | Nadrieril | 2021-03-09 | 1 | -24/+31 |
| | |||||
* | chore: fix clippy warnings | Nadrieril | 2021-03-09 | 2 | -0/+2 |
| | |||||
* | release: serde_dhall version 0.10.0 | Nadrieril | 2021-02-04 | 5 | -5/+8 |
| | |||||
* | spec: support dhall v20 | Nadrieril | 2021-02-04 | 3 | -1/+3 |
| | |||||
* | release: dhall version 0.10.0 | Nadrieril | 2021-02-04 | 4 | -4/+4 |
| | |||||
* | Merge pull request #211 from Qeenon/mawa | Nadrieril | 2021-01-25 | 1 | -1/+1 |
|\ | | | | | fixes #210 avoid possible conflicts by not using AsRef trait | ||||
| * | fixes #210 avoid possible conflicts by not using AsRef trait | Qeenon | 2021-01-25 | 1 | -1/+1 |
|/ | |||||
* | Merge pull request #209 from Nadrieril/fix-ci | Nadrieril | 2021-01-22 | 6 | -99/+100 |
|\ | |||||
| * | update: bump minimum supported version because of tokio | Nadrieril | 2021-01-22 | 3 | -2/+4 |
| | | |||||
| * | ci: disable code coverage, can't make it work | Nadrieril | 2021-01-22 | 1 | -89/+90 |
| | | |||||
| * | chore: fix clippy warnings | Nadrieril | 2021-01-22 | 2 | -8/+6 |
|/ | |||||
* | doc: document the `dhall` usage test | Nadrieril | 2021-01-22 | 2 | -5/+18 |
| | |||||
* | test: try using the `dhall` crate as a user | Nadrieril | 2021-01-22 | 1 | -0/+38 |
| | |||||
* | chore: update reqwest dependency | Nadrieril | 2021-01-08 | 2 | -148/+78 |
| | | | | Fixes #206 | ||||
* | chore: convert doc links to intra-doc links | Nadrieril | 2020-12-18 | 6 | -67/+52 |
| | |||||
* | Merge pull request #205 from Nadrieril/audits | Nadrieril | 2020-12-18 | 1 | -0/+16 |
|\ | | | | | Enable automatic audit checks in CI | ||||
| * | ci: enable automatic audit checks | Nadrieril | 2020-12-18 | 1 | -0/+16 |
|/ | |||||
* | chore: update dependencies | Nadrieril | 2020-12-18 | 1 | -154/+172 |
| | |||||
* | tweak: factor a bit | Nadrieril | 2020-12-08 | 1 | -24/+25 |
| | |||||
* | tests: add a test that fetches the remote prelude | Nadrieril | 2020-12-08 | 1 | -1/+17 |
| | | | | It's too slow even in release mode. | ||||
* | fix: fix import ordering issue | Nadrieril | 2020-12-08 | 3 | -7/+10 |
| | |||||
* | Merge pull request #204 from Nadrieril/source-id | Nadrieril | 2020-12-08 | 26 | -637/+1187 |
|\ | |||||
| * | Soothe clippy | Nadrieril | 2020-12-07 | 1 | -0/+1 |
| | | |||||
| * | Resolve imports and alternatives outside of the ast traversal | Nadrieril | 2020-12-07 | 6 | -130/+294 |
| | | |||||
| * | Defer name errors to typechecking | Nadrieril | 2020-12-07 | 4 | -5/+13 |
| | | | | | | | | We aren't supposed to inspect anything before alternatives are chosen | ||||
| * | Avoid storing an import before we checked its hash | Nadrieril | 2020-12-07 | 2 | -23/+28 |
| | | |||||
| * | Add tests | Nadrieril | 2020-12-07 | 4 | -0/+4 |
| | | |||||
| * | Unify `skip_resolve_expr` with normal resolution | Nadrieril | 2020-12-07 | 8 | -40/+94 |
| | | |||||
| * | Pass import results via the global context | Nadrieril | 2020-12-07 | 4 | -13/+19 |
| | | |||||
| * | Thread cx everywhere else imports are read | Nadrieril | 2020-12-07 | 10 | -89/+93 |
| | |