summaryrefslogtreecommitdiff
path: root/dhall/src/core/value.rs
diff options
context:
space:
mode:
authorNadrieril2019-08-16 18:14:55 +0200
committerNadrieril2019-08-16 18:14:55 +0200
commit5f0d69671b44ba1dff6becb9ebc7f6e74241e3e2 (patch)
tree043c93ec1acf36d034d4706eaf32f47873ba45b7 /dhall/src/core/value.rs
parent51bb1d2da8e5874129d4b5cc5d0c60e23eee9f11 (diff)
Remove dead code
Diffstat (limited to 'dhall/src/core/value.rs')
-rw-r--r--dhall/src/core/value.rs5
1 files changed, 4 insertions, 1 deletions
diff --git a/dhall/src/core/value.rs b/dhall/src/core/value.rs
index 61a8eea..d3d017d 100644
--- a/dhall/src/core/value.rs
+++ b/dhall/src/core/value.rs
@@ -66,7 +66,10 @@ impl Value {
}
/// Convert the value to a fully normalized syntactic expression. Also alpha-normalize
/// if alpha is `true`
- pub(crate) fn normalize_to_expr_maybe_alpha(&self, alpha: bool) -> OutputSubExpr {
+ pub(crate) fn normalize_to_expr_maybe_alpha(
+ &self,
+ alpha: bool,
+ ) -> OutputSubExpr {
match self {
Value::Lam(x, t, e) => rc(ExprF::Lam(
x.to_label_maybe_alpha(alpha),