From 290d013e38849e52c35c1bb26c80452590f68e9a Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Sat, 27 Apr 2019 19:40:54 +0200
Subject: Builtins

---
 dhall/src/expr.rs | 15 ---------------
 1 file changed, 15 deletions(-)

(limited to 'dhall/src/expr.rs')

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()
-    }
-}
-- 
cgit v1.2.3