From 2075cba6d883278a534afd2d8fe8f0a5e9b2f0d0 Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Mon, 6 May 2019 00:42:15 +0200
Subject: Merge TypedInternal and Typed

---
 dhall/src/typecheck.rs | 9 ---------
 1 file changed, 9 deletions(-)

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

diff --git a/dhall/src/typecheck.rs b/dhall/src/typecheck.rs
index 8d6b6eb..4dde883 100644
--- a/dhall/src/typecheck.rs
+++ b/dhall/src/typecheck.rs
@@ -35,15 +35,6 @@ impl Resolved {
     }
 }
 
-impl Typed {
-    fn to_type(&self) -> Type {
-        match &self.to_value() {
-            Value::Const(c) => Type(TypeInternal::Const(*c)),
-            _ => Type(TypeInternal::Typed(Box::new(self.clone()))),
-        }
-    }
-}
-
 impl Normalized {
     fn shift(&self, delta: isize, var: &AlphaVar) -> Self {
         Normalized(self.0.shift(delta, var))
-- 
cgit v1.2.3