From 0c95dd4f940e796865976dad594068ae0fff8f7c Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Thu, 30 Jan 2020 17:01:36 +0000
Subject: Move Value-related stuff under semantics::nze

---
 dhall/src/semantics/core/var.rs | 36 ------------------------------------
 1 file changed, 36 deletions(-)
 delete mode 100644 dhall/src/semantics/core/var.rs

(limited to 'dhall/src/semantics/core/var.rs')

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
-    }
-}
-- 
cgit v1.2.3