From 8644dfec071b56db1552fe46c0700d7124c82b47 Mon Sep 17 00:00:00 2001 From: Nadrieril Date: Thu, 9 May 2019 23:24:55 +0200 Subject: Fix missing methods for tests --- dhall/src/phase/mod.rs | 8 ++++++++ 1 file changed, 8 insertions(+) (limited to 'dhall/src/phase') diff --git a/dhall/src/phase/mod.rs b/dhall/src/phase/mod.rs index abf4fe7..3d7afb6 100644 --- a/dhall/src/phase/mod.rs +++ b/dhall/src/phase/mod.rs @@ -202,10 +202,18 @@ impl Type { } impl Normalized { + #[allow(dead_code)] + pub fn to_expr(&self) -> NormalizedSubExpr { + self.0.to_expr() + } #[allow(dead_code)] pub fn to_expr_alpha(&self) -> NormalizedSubExpr { self.0.to_expr_alpha() } + #[allow(dead_code)] + pub fn to_type(&self) -> Type { + self.0.to_type() + } pub fn to_value(&self) -> Value { self.0.to_value() } -- cgit v1.2.3