dhall_rust - working copy forked from https://github.com/Nadrieril/dhall-rust

	Commit message (Collapse)	Author	Age	Files	Lines
*	inject_types -> with_builtin_typessubstitutions	stuebinm	2021-05-08	1	-10/+10
\| \| \| \|	at request of Nadrieril.
*	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