From d035e6ea0783cc270b70238bbbc1387fe511e576 Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Fri, 27 Dec 2019 15:17:58 +0000
Subject: TypecheckContext doesn't need PartialEq

---
 dhall/src/semantics/core/context.rs | 9 ---------
 1 file changed, 9 deletions(-)

(limited to 'dhall/src')

diff --git a/dhall/src/semantics/core/context.rs b/dhall/src/semantics/core/context.rs
index f755f72..79f2737 100644
--- a/dhall/src/semantics/core/context.rs
+++ b/dhall/src/semantics/core/context.rs
@@ -133,12 +133,3 @@ impl Subst<Value> for TypecheckContext {
         self.subst_shift(var, val)
     }
 }
-
-/// Don't count contexts when comparing stuff.
-/// This is dirty but needed.
-impl PartialEq for TypecheckContext {
-    fn eq(&self, _: &Self) -> bool {
-        true
-    }
-}
-impl Eq for TypecheckContext {}
-- 
cgit v1.2.3