diff options
author | Nadrieril | 2019-05-07 19:47:04 +0200 |
---|---|---|
committer | Nadrieril | 2019-05-07 19:47:04 +0200 |
commit | 833cb91cec6ae708e17a0f9589eba9560e81bd07 (patch) | |
tree | 4a0b2b988664eff1e843cb128497f895976911ba /dhall/src/phase/mod.rs | |
parent | b3f00a827bcdd0fe406ccf8913cc5fb7cd6e0f2f (diff) |
Unify typecheck and normalization contexts
Diffstat (limited to 'dhall/src/phase/mod.rs')
-rw-r--r-- | dhall/src/phase/mod.rs | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/dhall/src/phase/mod.rs b/dhall/src/phase/mod.rs index 5c910bc..d658638 100644 --- a/dhall/src/phase/mod.rs +++ b/dhall/src/phase/mod.rs @@ -223,9 +223,6 @@ impl Normalized { pub(crate) fn to_value(&self) -> Value { self.0.to_value() } - pub(crate) fn to_thunk(&self) -> Thunk { - self.0.to_thunk() - } pub(crate) fn to_type(self) -> Type { self.0.to_type() } |