diff options
Diffstat (limited to '')
-rw-r--r-- | dhall/src/core/var.rs | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/dhall/src/core/var.rs b/dhall/src/core/var.rs index 21bc06b..2a564bf 100644 --- a/dhall/src/core/var.rs +++ b/dhall/src/core/var.rs @@ -62,6 +62,18 @@ impl Shift for AlphaVar { } } +impl Shift for () { + fn shift(&self, _delta: isize, _var: &AlphaVar) -> Self { + () + } +} + +impl<T> Subst<T> for () { + fn subst_shift(&self, _var: &AlphaVar, _val: &T) -> Self { + () + } +} + impl std::cmp::PartialEq for AlphaVar { fn eq(&self, other: &Self) -> bool { match (&self.alpha, &other.alpha) { |