summaryrefslogtreecommitdiff
path: root/dhall
diff options
context:
space:
mode:
authorNadrieril2019-12-27 15:17:58 +0000
committerNadrieril2020-01-17 10:06:00 +0000
commitd035e6ea0783cc270b70238bbbc1387fe511e576 (patch)
tree0899121424e5ab36cf9c94734d2c481421ac1c4b /dhall
parent140b5d5ab24795a4053f7e5bdcd8b2343e35558e (diff)
TypecheckContext doesn't need PartialEq
Diffstat (limited to 'dhall')
-rw-r--r--dhall/src/semantics/core/context.rs9
1 files changed, 0 insertions, 9 deletions
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 {}