1 files changed, 0 insertions, 8 deletions
diff --git a/dhall/src/phase/mod.rs b/dhall/src/phase/mod.rs
index 778f990..5a6d4db 100644
--- a/dhall/src/phase/mod.rs
+++ b/dhall/src/phase/mod.rs
@@ -76,11 +76,6 @@ impl Resolved {
     pub fn typecheck_with(self, ty: &Type) -> Result<Typed, TypeError> {
         typecheck::typecheck_with(self, ty)
     }
-    /// Pretends this expression has been typechecked. Use with care.
-    #[allow(dead_code)]
-    pub(crate) fn skip_typecheck(self) -> Typed {
-        typecheck::skip_typecheck(self)
-    }
 }
 
 impl Typed {
@@ -168,9 +163,6 @@ impl Normalized {
     pub(crate) fn to_type(&self) -> Type {
         self.0.to_type()
     }
-    pub(crate) fn to_value(&self) -> Value {
-        self.0.to_value()
-    }
     pub(crate) fn into_typed(self) -> Typed {
         self.0
     }