Merge TypedInternal and Typed

1 files changed, 0 insertions, 9 deletions

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))