summaryrefslogtreecommitdiff
path: root/dhall_core/src/core.rs
diff options
context:
space:
mode:
Diffstat (limited to 'dhall_core/src/core.rs')
-rw-r--r--dhall_core/src/core.rs4
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 {}))
}
}