| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | substitute_names -> inject_types | stuebinm | 2021-05-02 | 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! | ||||
| * | substitutions: add test to serde.rs | stuebinm | 2021-04-26 | 1 | -0/+21 |
| | | |||||
| * | tests: add a test that fetches the remote prelude | Nadrieril | 2020-12-08 | 1 | -1/+17 |
| | | | | | It's too slow even in release mode. | ||||
| * | Unify `skip_resolve_expr` with normal resolution | Nadrieril | 2020-12-07 | 1 | -0/+19 |
| | | |||||
| * | Expose binary parsing in the API | Nadrieril | 2020-11-20 | 1 | -0/+21 |
| | | |||||
| * | Fix clippy and formatting | Nadrieril | 2020-10-28 | 1 | -1/+3 |
| | | |||||
| * | Move some tests | Nadrieril | 2020-10-28 | 1 | -0/+59 |
| | | |||||
| * | Make type annotation optional to allow serializing SimpleValue | Nadrieril | 2020-10-28 | 1 | -2/+6 |
| | | |||||
| * | Implement serialization | Nadrieril | 2020-10-28 | 1 | -0/+145 |
 |
index : dhall_rust | |
| working copy forked from https://github.com/Nadrieril/dhall-rust |
| summaryrefslogtreecommitdiff |