| Commit message (Collapse) | Author | Files | Lines | ||
|---|---|---|---|---|---|
| 2021-05-08 | inject_types -> with_builtin_typessubstitutions | stuebinm | 1 | -10/+10 | |
| at request of Nadrieril. | |||||
| 2021-05-02 | substitute_names -> inject_types | stuebinm | 1 | -2/+68 | |
| This does three things: 1. rename the substitute_names function into inject_types, and makes it accept anything that implements IntoIterator instead of just HashMaps 2. adds an extra function to inject just a single type 3. makes these functions chainable; before, each call to substitute_names would discard previous invocations. However, this currently comes at the cost of a lot of ugly copying. also, more tests! | |||||
| 2021-04-26 | substitutions: add test to serde.rs | stuebinm | 1 | -0/+21 | |
| 2020-12-08 | tests: add a test that fetches the remote prelude | Nadrieril | 1 | -1/+17 | |
| It's too slow even in release mode. | |||||
| 2020-12-07 | Unify `skip_resolve_expr` with normal resolution | Nadrieril | 1 | -0/+19 | |
| 2020-11-20 | Expose binary parsing in the API | Nadrieril | 1 | -0/+21 | |
| 2020-10-28 | Fix clippy and formatting | Nadrieril | 1 | -1/+3 | |
| 2020-10-28 | Move some tests | Nadrieril | 1 | -0/+59 | |
| 2020-10-28 | Make type annotation optional to allow serializing SimpleValue | Nadrieril | 1 | -2/+6 | |
| 2020-10-28 | Implement serialization | Nadrieril | 1 | -0/+145 | |
 |
index : dhall_rust | |
| working copy forked from https://github.com/Nadrieril/dhall-rust |
| summaryrefslogtreecommitdiff |