diff options
author | Nadrieril | 2019-05-09 22:27:17 +0200 |
---|---|---|
committer | Nadrieril | 2019-05-09 22:27:17 +0200 |
commit | 7ac061b5ddf15ffe3fc4f36b64138b7431429758 (patch) | |
tree | d77fd6945e67a317ba5a8b1dc3229984d65e4e3d /dhall/src/phase | |
parent | dae106b3de0888e8a704c0efa3f9d991590f7858 (diff) |
Rewrite Deserialize trait around new Value and Type
Diffstat (limited to 'dhall/src/phase')
-rw-r--r-- | dhall/src/phase/mod.rs | 8 |
1 files changed, 1 insertions, 7 deletions
diff --git a/dhall/src/phase/mod.rs b/dhall/src/phase/mod.rs index 5262a27..d7cec67 100644 --- a/dhall/src/phase/mod.rs +++ b/dhall/src/phase/mod.rs @@ -50,7 +50,7 @@ pub(crate) enum Typed { pub(crate) struct Normalized(pub(crate) Typed); #[derive(Debug, Clone, PartialEq, Eq)] -pub struct Type(pub(crate) Typed); +pub(crate) struct Type(pub(crate) Typed); impl Parsed { pub fn parse_file(f: &Path) -> Result<Parsed, Error> { @@ -202,9 +202,6 @@ impl Type { } impl Normalized { - pub(crate) fn to_expr(&self) -> NormalizedSubExpr { - self.0.to_expr() - } #[allow(dead_code)] pub(crate) fn to_expr_alpha(&self) -> NormalizedSubExpr { self.0.to_expr_alpha() @@ -212,9 +209,6 @@ impl Normalized { pub(crate) fn to_value(&self) -> Value { self.0.to_value() } - pub(crate) fn to_type(&self) -> Type { - self.0.to_type() - } pub(crate) fn into_typed(self) -> Typed { self.0 } |