diff options
author | Nadrieril | 2020-01-29 21:26:42 +0000 |
---|---|---|
committer | Nadrieril | 2020-01-29 21:26:42 +0000 |
commit | db6c09f33c3c794e4b6ec8a7aa80978d945a9d7a (patch) | |
tree | 8cf018122e61b035c3af4bdd84d62a159a089b22 /dhall/src/semantics/phase/normalize.rs | |
parent | e410dbb428e621fe600be43ddecca1c7bff7cb2f (diff) |
Remove dead code
Diffstat (limited to 'dhall/src/semantics/phase/normalize.rs')
-rw-r--r-- | dhall/src/semantics/phase/normalize.rs | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/dhall/src/semantics/phase/normalize.rs b/dhall/src/semantics/phase/normalize.rs index f4e4099..d40456b 100644 --- a/dhall/src/semantics/phase/normalize.rs +++ b/dhall/src/semantics/phase/normalize.rs @@ -1,4 +1,3 @@ -#![allow(dead_code)] use std::collections::HashMap; use std::convert::TryInto; @@ -376,9 +375,6 @@ pub(crate) fn apply_builtin( pub(crate) fn apply_any(f: Value, a: Value, ty: &Value) -> ValueKind<Value> { let f_borrow = f.as_whnf(); match &*f_borrow { - ValueKind::Lam(_, _, e) => e - .subst_shift(&AlphaVar::default(), &a) - .to_whnf_check_type(ty), ValueKind::LamClosure { closure, .. } => { closure.apply(a).to_whnf_check_type(ty) } @@ -861,9 +857,6 @@ impl NzEnv { pub fn new() -> Self { NzEnv { items: Vec::new() } } - pub fn construct(items: Vec<NzEnvItem>) -> Self { - NzEnv { items } - } pub fn to_alpha_tyenv(&self) -> TyEnv { TyEnv::from_nzenv_alpha(self) } |