diff options
author | Nadrieril | 2019-08-13 20:54:15 +0200 |
---|---|---|
committer | Nadrieril | 2019-08-13 20:54:15 +0200 |
commit | 77af0bbc171618f48531cc6b1d77e18089928885 (patch) | |
tree | 8bac17d4b3f1f1adf5f823708d322876eef6cfee /dhall_syntax/src/core/expr.rs | |
parent | 5895c3aa6552f75d7e5202be561f9734fe8945e7 (diff) |
Stop tracking the absence of Embed values at the type level
Diffstat (limited to 'dhall_syntax/src/core/expr.rs')
-rw-r--r-- | dhall_syntax/src/core/expr.rs | 16 |
1 files changed, 2 insertions, 14 deletions
diff --git a/dhall_syntax/src/core/expr.rs b/dhall_syntax/src/core/expr.rs index 0cbece3..e08d816 100644 --- a/dhall_syntax/src/core/expr.rs +++ b/dhall_syntax/src/core/expr.rs @@ -10,9 +10,9 @@ pub type Double = NaiveDouble; /// An empty type #[derive(Debug, Copy, Clone, PartialEq, Eq)] -pub enum X {} +pub enum Void {} -pub fn trivial_result<T>(x: Result<T, X>) -> T { +pub fn trivial_result<T>(x: Result<T, Void>) -> T { match x { Ok(x) => x, Err(e) => match e {}, @@ -351,12 +351,6 @@ impl<E> Expr<E> { } } -impl Expr<X> { - pub fn absurd<E>(&self) -> Expr<E> { - self.visit(&mut visitor::AbsurdVisitor) - } -} - impl<E> SubExpr<E> { pub fn as_ref(&self) -> &Expr<E> { &self.0.as_ref().0 @@ -416,12 +410,6 @@ impl<E> SubExpr<E> { } } -impl SubExpr<X> { - pub fn absurd<T>(&self) -> SubExpr<T> { - SubExpr::from_expr_no_span(self.as_ref().absurd()) - } -} - impl<E> Clone for SubExpr<E> { fn clone(&self) -> Self { SubExpr(Rc::clone(&self.0)) |