diff options
author | Nadrieril | 2019-08-16 18:14:55 +0200 |
---|---|---|
committer | Nadrieril | 2019-08-16 18:14:55 +0200 |
commit | 5f0d69671b44ba1dff6becb9ebc7f6e74241e3e2 (patch) | |
tree | 043c93ec1acf36d034d4706eaf32f47873ba45b7 /dhall/src/phase/mod.rs | |
parent | 51bb1d2da8e5874129d4b5cc5d0c60e23eee9f11 (diff) |
Remove dead code
Diffstat (limited to 'dhall/src/phase/mod.rs')
-rw-r--r-- | dhall/src/phase/mod.rs | 8 |
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 } |