diff options
| -rw-r--r-- | dhall/src/semantics/core/value.rs | 65 |
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(); |