diff options
author | Nadrieril | 2019-05-09 23:24:55 +0200 |
---|---|---|
committer | Nadrieril | 2019-05-09 23:24:55 +0200 |
commit | 8644dfec071b56db1552fe46c0700d7124c82b47 (patch) | |
tree | 46f6f275cd3805008b1a3c29b5c21f9348d7670b | |
parent | 33c1aa4bd1d5b83361eb52d00beb8d8c762225cd (diff) |
Fix missing methods for tests
Diffstat (limited to '')
-rw-r--r-- | dhall/src/phase/mod.rs | 8 |
1 files changed, 8 insertions, 0 deletions
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 @@ -203,9 +203,17 @@ 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() } |