summaryrefslogtreecommitdiff
path: root/dhall
diff options
context:
space:
mode:
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 {}