diff options
Diffstat (limited to 'dhall')
| -rw-r--r-- | dhall/src/semantics/core/context.rs | 9 |
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 {} |