summaryrefslogtreecommitdiff
path: root/dhall/src/semantics/tck
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--dhall/src/semantics/tck/env.rs13
1 files changed, 0 insertions, 13 deletions
diff --git a/dhall/src/semantics/tck/env.rs b/dhall/src/semantics/tck/env.rs
index 1276a48..d4cc37d 100644
--- a/dhall/src/semantics/tck/env.rs
+++ b/dhall/src/semantics/tck/env.rs
@@ -45,11 +45,6 @@ impl NameEnv {
pub fn new() -> Self {
NameEnv { names: Vec::new() }
}
- pub fn from_binders(names: impl Iterator<Item = Label>) -> Self {
- NameEnv {
- names: names.collect(),
- }
- }
pub fn as_varenv(&self) -> VarEnv {
VarEnv {
size: self.names.len(),
@@ -99,14 +94,6 @@ impl TyEnv {
items: NzEnv::new(),
}
}
- pub fn from_nzenv_alpha(items: &NzEnv) -> Self {
- TyEnv {
- names: NameEnv::from_binders(
- std::iter::repeat("_".into()).take(items.size()),
- ),
- items: items.clone(),
- }
- }
pub fn as_varenv(&self) -> VarEnv {
self.names.as_varenv()
}