Builtins

1 files changed, 0 insertions, 15 deletions

diff --git a/dhall/src/expr.rs b/dhall/src/expr.rs
index 6048928..d1729a5 100644
--- a/dhall/src/expr.rs
+++ b/dhall/src/expr.rs
@@ -157,18 +157,3 @@ impl<'a> Type<'a> {
         unsafe { std::mem::transmute::<Type<'a>, Type<'b>>(self) }
     }
 }
-
-impl<'a> SimpleType<'a> {
-    #[allow(dead_code)]
-    pub(crate) fn into_type(self) -> Type<'a> {
-        self.into_type_ctx(&crate::typecheck::TypecheckContext::new())
-    }
-    pub(crate) fn into_type_ctx(
-        self,
-        ctx: &crate::typecheck::TypecheckContext,
-    ) -> Type<'a> {
-        Normalized(self.0, Some(Type::const_type()), PhantomData)
-            .into_type_ctx(ctx)
-            .unwrap()
-    }
-}