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') 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 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