summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--dhall/src/semantics/core/value.rs65
1 files changed, 64 insertions, 1 deletions
diff --git a/dhall/src/semantics/core/value.rs b/dhall/src/semantics/core/value.rs
index f06c614..37f95ca 100644
--- a/dhall/src/semantics/core/value.rs
+++ b/dhall/src/semantics/core/value.rs
@@ -51,7 +51,7 @@ pub(crate) enum Form {
NF,
}
-#[derive(Debug, Clone, PartialEq, Eq)]
+#[derive(Debug, Clone)]
pub(crate) enum ValueKind {
/// Closures
Lam(AlphaLabel, Value, Value),
@@ -570,6 +570,69 @@ impl std::cmp::PartialEq for Value {
}
impl std::cmp::Eq for Value {}
+impl std::cmp::PartialEq for ValueKind {
+ fn eq(&self, other: &Self) -> bool {
+ use ValueKind::*;
+ match (self, other) {
+ (Lam(x0, x1, x2), Lam(y0, y1, y2)) => {
+ x0 == y0 && x1 == y1 && x2 == y2
+ }
+ (Pi(x0, x1, x2), Pi(y0, y1, y2)) => {
+ x0 == y0 && x1 == y1 && x2 == y2
+ }
+ (AppliedBuiltin(x0, x1), AppliedBuiltin(y0, y1)) => {
+ x0 == y0 && x1 == y1
+ }
+ (Var(x0), Var(y0)) => x0 == y0,
+ (Const(x0), Const(y0)) => x0 == y0,
+ (BoolLit(x0), BoolLit(y0)) => x0 == y0,
+ (NaturalLit(x0), NaturalLit(y0)) => x0 == y0,
+ (IntegerLit(x0), IntegerLit(y0)) => x0 == y0,
+ (DoubleLit(x0), DoubleLit(y0)) => x0 == y0,
+ (EmptyOptionalLit(x0), EmptyOptionalLit(y0)) => x0 == y0,
+ (NEOptionalLit(x0), NEOptionalLit(y0)) => x0 == y0,
+ (EmptyListLit(x0), EmptyListLit(y0)) => x0 == y0,
+ (NEListLit(x0), NEListLit(y0)) => x0 == y0,
+ (RecordType(x0), RecordType(y0)) => x0 == y0,
+ (RecordLit(x0), RecordLit(y0)) => x0 == y0,
+ (UnionType(x0), UnionType(y0)) => x0 == y0,
+ (UnionConstructor(x0, x1), UnionConstructor(y0, y1)) => {
+ x0 == y0 && x1 == y1
+ }
+ (UnionLit(x0, x1, x2), UnionLit(y0, y1, y2)) => {
+ x0 == y0 && x1 == y1 && x2 == y2
+ }
+ (TextLit(x0), TextLit(y0)) => x0 == y0,
+ (Equivalence(x0, x1), Equivalence(y0, y1)) => x0 == y0 && x1 == y1,
+ (PartialExpr(x0), PartialExpr(y0)) => x0 == y0,
+
+ // Explicitely list all constructors to ensure we don't forget to update this function.
+ (Lam(..), _)
+ | (Pi(..), _)
+ | (AppliedBuiltin(..), _)
+ | (Var(..), _)
+ | (Const(..), _)
+ | (BoolLit(..), _)
+ | (NaturalLit(..), _)
+ | (IntegerLit(..), _)
+ | (DoubleLit(..), _)
+ | (EmptyOptionalLit(..), _)
+ | (NEOptionalLit(..), _)
+ | (EmptyListLit(..), _)
+ | (NEListLit(..), _)
+ | (RecordType(..), _)
+ | (RecordLit(..), _)
+ | (UnionType(..), _)
+ | (UnionConstructor(..), _)
+ | (UnionLit(..), _)
+ | (TextLit(..), _)
+ | (Equivalence(..), _)
+ | (PartialExpr(..), _) => false,
+ }
+ }
+}
+impl std::cmp::Eq for ValueKind {}
+
impl std::fmt::Debug for Value {
fn fmt(&self, fmt: &mut std::fmt::Formatter<'_>) -> std::fmt::Result {
let vint: &ValueInternal = &self.as_internal();