1 files changed, 0 insertions, 50 deletions
diff --git a/dhall/src/traits.rs b/dhall/src/traits/static_type.rs
index 328cbbc..b402ca9 100644
--- a/dhall/src/traits.rs
+++ b/dhall/src/traits/static_type.rs
@@ -1,8 +1,6 @@
-use crate::error::*;
 use crate::expr::*;
 use dhall_core::*;
 use dhall_generator::*;
-use std::borrow::Cow;
 
 pub trait StaticType {
     fn get_static_type() -> Type;
@@ -17,54 +15,6 @@ pub trait SimpleStaticType {
     fn get_simple_static_type() -> SimpleType;
 }
 
-
-pub trait Deserialize<'a>: Sized {
-    fn from_str(s: &'a str, ty: Option<&Type>) -> Result<Self>;
-}
-
-impl<'a> Deserialize<'a> for Parsed {
-    /// Simply parses the provided string. Ignores the
-    /// provided type.
-    fn from_str(s: &'a str, _ty: Option<&Type>) -> Result<Self> {
-        Ok(Parsed::parse_str(s).map_err(|_| ())?)
-    }
-}
-
-impl<'a> Deserialize<'a> for Resolved {
-    /// Parses and resolves the provided string. Ignores the
-    /// provided type.
-    fn from_str(s: &'a str, ty: Option<&Type>) -> Result<Self> {
-        Ok(Parsed::from_str(s, ty)?
-            .resolve()
-            .map_err(|_| ())?
-        )
-    }
-}
-
-impl<'a> Deserialize<'a> for Typed {
-    /// Parses, resolves and typechecks the provided string.
-    fn from_str(s: &'a str, ty: Option<&Type>) -> Result<Self> {
-        // TODO: compare with provided type
-        Ok(Resolved::from_str(s, ty)?
-            .typecheck()
-            .map_err(|_| ())?
-        )
-    }
-}
-
-impl<'a> Deserialize<'a> for Normalized {
-    /// Parses, resolves, typechecks and normalizes the provided string.
-    fn from_str(s: &'a str, ty: Option<&Type>) -> Result<Self> {
-        Ok(Typed::from_str(s, ty)?.normalize())
-    }
-}
-
-impl<'a> Deserialize<'a> for Type {
-    fn from_str(s: &'a str, ty: Option<&Type>) -> Result<Self> {
-        Ok(Normalized::from_str(s, ty)?.into_type())
-    }
-}
-
 fn mktype(x: SubExpr<X, X>) -> SimpleType {
     SimpleType(x)
 }