diff options
author | Nadrieril | 2019-04-18 14:10:03 +0200 |
---|---|---|
committer | Nadrieril | 2019-04-18 14:10:03 +0200 |
commit | 69267c7cc108a2f5db35c52a71afaa5be7be7355 (patch) | |
tree | 94ea06ec65c207103997974dcbe65e0da6d2f22d /dhall_core/src/core.rs | |
parent | bce1538a6b80702ef71749215dce339c9f22f09c (diff) |
Avoid an unnecessary unroll()
Diffstat (limited to 'dhall_core/src/core.rs')
-rw-r--r-- | dhall_core/src/core.rs | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/dhall_core/src/core.rs b/dhall_core/src/core.rs index 7f9fd14..158abe1 100644 --- a/dhall_core/src/core.rs +++ b/dhall_core/src/core.rs @@ -408,9 +408,8 @@ impl<N, E> Expr<N, E> { ) -> SubExpr<N, E2> where N: Clone, - E2: Clone, { - rc(self.visit(&mut visitor::SquashEmbedVisitor(f))) + trivial_result(self.visit(&mut visitor::SquashEmbedVisitor(f))) } } @@ -427,7 +426,6 @@ impl<N: Clone> Expr<N, X> { } pub fn embed_absurd<E>(&self) -> Expr<N, E> { self.visit(&mut visitor::EmbedAbsurdVisitor) - // self.visit(&mut visitor::SquashEmbedVisitor(|e| match *e {})) } } |