Unify typecheck and normalization contexts

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) {