Move Value-related stuff under semantics::nze

1 files changed, 0 insertions, 36 deletions

diff --git a/dhall/src/semantics/core/var.rs b/dhall/src/semantics/core/var.rs
deleted file mode 100644
index 264b81d..0000000
--- a/dhall/src/semantics/core/var.rs
+++ /dev/null
@@ -1,36 +0,0 @@
-use crate::syntax::Label;
-
-// Exactly like a Label, but equality returns always true.
-// This is so that ValueKind equality is exactly alpha-equivalence.
-#[derive(Clone, Eq)]
-pub struct Binder {
-    name: Label,
-}
-
-impl Binder {
-    pub(crate) fn new(name: Label) -> Self {
-        Binder { name }
-    }
-    pub(crate) fn to_label(&self) -> Label {
-        self.clone().into()
-    }
-}
-
-/// Equality up to alpha-equivalence
-impl std::cmp::PartialEq for Binder {
-    fn eq(&self, _other: &Self) -> bool {
-        true
-    }
-}
-
-impl std::fmt::Debug for Binder {
-    fn fmt(&self, f: &mut std::fmt::Formatter<'_>) -> std::fmt::Result {
-        write!(f, "Binder({})", &self.name)
-    }
-}
-
-impl From<Binder> for Label {
-    fn from(x: Binder) -> Label {
-        x.name
-    }
-}