diff options
| author | FintanH | 2019-07-31 12:15:12 +0100 |
|---|---|---|
| committer | FintanH | 2019-07-31 12:15:12 +0100 |
| commit | f806ad6bf0fad5a720c9b87310d86838612f3b7a (patch) | |
| tree | 660d08295161ce4d73ac1fd8be24a61eee996bb2 /dhall/src/phase/normalize.rs | |
| parent | e51b89d717a1f1aaba7e59c79c9fb4b8e7031bab (diff) | |
Reuse the merge_maps function to implement the right-biased union
Diffstat (limited to 'dhall/src/phase/normalize.rs')
| -rw-r--r-- | dhall/src/phase/normalize.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/dhall/src/phase/normalize.rs b/dhall/src/phase/normalize.rs index be2ba51..da19dc1 100644 --- a/dhall/src/phase/normalize.rs +++ b/dhall/src/phase/normalize.rs @@ -372,7 +372,7 @@ enum Ret<'a> { Expr(ExprF<Thunk, X>), } -fn merge_maps<K, V>( +pub(crate) fn merge_maps<K, V>( map1: &HashMap<K, V>, map2: &HashMap<K, V>, mut f: impl FnMut(&V, &V) -> V, |