diff options
author | Nadrieril | 2019-08-26 20:12:40 +0200 |
---|---|---|
committer | Nadrieril | 2019-08-26 20:12:40 +0200 |
commit | 2df5c09242375ca29b7e95ac76de427c4f1518ed (patch) | |
tree | 33d4cab88763d86fe3dbce2c9d7d76de3f05932d /dhall/src/phase | |
parent | 2f6ae31f4682266e647d25f7554a66d543bec7ac (diff) |
Tweak tests to avoid double compilation
Diffstat (limited to '')
-rw-r--r-- | dhall/src/phase/mod.rs | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/dhall/src/phase/mod.rs b/dhall/src/phase/mod.rs index ecf04e9..ed608df 100644 --- a/dhall/src/phase/mod.rs +++ b/dhall/src/phase/mod.rs @@ -119,7 +119,6 @@ impl Typed { self.0.normalize_mut() } - #[allow(dead_code)] pub(crate) fn get_type(&self) -> Result<Typed, TypeError> { Ok(self.0.get_type()?.into_typed()) } @@ -166,7 +165,6 @@ 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() } |