diff options
Diffstat (limited to 'dhall/src/semantics/core/var.rs')
-rw-r--r-- | dhall/src/semantics/core/var.rs | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/dhall/src/semantics/core/var.rs b/dhall/src/semantics/core/var.rs index 0d2c1d4..cf45d5e 100644 --- a/dhall/src/semantics/core/var.rs +++ b/dhall/src/semantics/core/var.rs @@ -1,10 +1,16 @@ use crate::syntax::{Label, V}; /// Stores an alpha-normalized variable. -#[derive(Clone, Copy, PartialEq, Eq)] +#[derive(Clone, Copy, Eq)] pub struct AlphaVar { alpha: V<()>, } +// TODO: temporary hopefully +impl std::cmp::PartialEq for AlphaVar { + fn eq(&self, _other: &Self) -> bool { + true + } +} // Exactly like a Label, but equality returns always true. // This is so that ValueKind equality is exactly alpha-equivalence. |