summaryrefslogtreecommitdiff
path: root/dhall/src/semantics/nze/env.rs
diff options
context:
space:
mode:
authorNadrieril2020-01-30 11:53:37 +0000
committerNadrieril2020-01-30 11:53:37 +0000
commit17732b041dbd44f39ce3d04a289146db9882e865 (patch)
tree70911ccaf4c33eb662fd6b1e0b97d8b92804f28c /dhall/src/semantics/nze/env.rs
parentec5fb594adf10b18a4457c3089ce4b00e2c50a39 (diff)
Encapsulate partially applied builtin in a separate struct
Diffstat (limited to 'dhall/src/semantics/nze/env.rs')
-rw-r--r--dhall/src/semantics/nze/env.rs8
1 files changed, 0 insertions, 8 deletions
diff --git a/dhall/src/semantics/nze/env.rs b/dhall/src/semantics/nze/env.rs
index dee597a..a083076 100644
--- a/dhall/src/semantics/nze/env.rs
+++ b/dhall/src/semantics/nze/env.rs
@@ -70,11 +70,3 @@ impl NzEnv {
}
}
}
-
-/// Ignore NzEnv when comparing; useful because we store them in `AppliedBuiltin`.
-impl std::cmp::PartialEq for NzEnv {
- fn eq(&self, _other: &Self) -> bool {
- true
- }
-}
-impl std::cmp::Eq for NzEnv {}