diff options
author | stuebinm | 2021-05-02 00:33:31 +0200 |
---|---|---|
committer | stuebinm | 2021-05-02 00:36:45 +0200 |
commit | e65c53a8e22e2edf209a31ad28ba67ac5d78bed7 (patch) | |
tree | 3d6e17c5e121682e4b409b79dc2eba58494fc570 /dhall/src/syntax/text/printer.rs | |
parent | a0776173fabe05ed82e0283b55d85a2fffc511bf (diff) |
substitute_names -> inject_types
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!
Diffstat (limited to 'dhall/src/syntax/text/printer.rs')
0 files changed, 0 insertions, 0 deletions