summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorNadrieril2019-05-09 23:24:55 +0200
committerNadrieril2019-05-09 23:24:55 +0200
commit8644dfec071b56db1552fe46c0700d7124c82b47 (patch)
tree46f6f275cd3805008b1a3c29b5c21f9348d7670b
parent33c1aa4bd1d5b83361eb52d00beb8d8c762225cd (diff)
Fix missing methods for tests
Diffstat (limited to '')
-rw-r--r--dhall/src/phase/mod.rs8
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()
}