diff options
author | Nadrieril | 2019-04-01 00:17:44 +0200 |
---|---|---|
committer | Nadrieril | 2019-04-01 00:21:00 +0200 |
commit | 57ccbfa16f48f373ac5545b8523de56fb996ba3e (patch) | |
tree | e0e2841cc415e3e2d6e1e41de66b509df900a88c /dhall | |
parent | 62970fd2010b01260cf45a1f2a6a582c6a8c0c12 (diff) |
Refactor and clarify various map methods
Diffstat (limited to 'dhall')
-rw-r--r-- | dhall/src/normalize.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/dhall/src/normalize.rs b/dhall/src/normalize.rs index c6c294c..966d032 100644 --- a/dhall/src/normalize.rs +++ b/dhall/src/normalize.rs @@ -345,5 +345,5 @@ where S: fmt::Debug, A: fmt::Debug, { - map_subexpr_rc(&normalize_whnf(&e), |x| normalize(SubExpr::clone(x))) + normalize_whnf(&e).map_ref_simple(|x| normalize(SubExpr::clone(x))) } |