dhall_rust/serde_dhall/tests, branch substitutions working copy forked from https://github.com/Nadrieril/dhall-rust inject_types -> with_builtin_types 2021-05-08T16:38:37+00:00 stuebinm 2021-05-08T16:38:37+00:00 3d4afe62809ad5263b303a29ec543e4c39310d97 at request of Nadrieril. 
at request of Nadrieril.
substitute_names -> inject_types 2021-05-01T22:36:45+00:00 stuebinm 2021-05-01T22:33:31+00:00 e65c53a8e22e2edf209a31ad28ba67ac5d78bed7 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! 
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 2021-04-26T19:48:19+00:00 stuebinm 2021-04-26T19:48:19+00:00 46adf95726727941f64cbf77dacc0bce41901d6b 






Remove a redundant semicolon in a test for good measure.
2021-03-27T10:51:05+00:00

Ceri Storey

2021-03-27T09:48:05+00:00

87c120d6b728099cffc547d340ea4c4cc304acf9












tests: add a test that fetches the remote prelude
2020-12-08T20:25:20+00:00

Nadrieril

2020-12-07T19:58:24+00:00

b4ebbb2b8851e1f792ea6c01b927b83eddee7c5a

It's too slow even in release mode.





It's too slow even in release mode.







Unify `skip_resolve_expr` with normal resolution
2020-12-07T19:34:39+00:00

Nadrieril

2020-12-07T15:24:36+00:00

922199ab322efa7b62bf4698cf5ed9e2d7a378c0












Don't store internal structures of `dhall` in `serde_dhall`
2020-12-07T19:34:38+00:00

Nadrieril

2020-12-07T11:56:00+00:00

697e93e0f56e3c063ce253983f703be88d468b47












Expose binary parsing in the API
2020-11-20T21:36:34+00:00

Nadrieril

2020-11-20T21:35:58+00:00

0415bc0ce299dfc707b7f8dc2ee26ceb57bce84e












Fix clippy and formatting
2020-10-28T23:31:57+00:00

Nadrieril

2020-10-28T23:31:57+00:00

af16e9699799f8cfbd228e2832e1d5df3653116b












Move some tests
2020-10-28T23:27:20+00:00

Nadrieril

2020-10-28T23:26:22+00:00

1a53f10c6ed1ef65621b39c40e05da79161047cc