From 5c16a75c6dc01bbd0bfe36be4a9b337a762632a8 Mon Sep 17 00:00:00 2001 From: Nadrieril Date: Mon, 29 Apr 2019 16:27:14 +0200 Subject: Properly substitute when typing App --- dhall_core/src/core.rs | 23 +++++++++++++++-------- 1 file changed, 15 insertions(+), 8 deletions(-) (limited to 'dhall_core/src') diff --git a/dhall_core/src/core.rs b/dhall_core/src/core.rs index 72b42f8..a20f6d1 100644 --- a/dhall_core/src/core.rs +++ b/dhall_core/src/core.rs @@ -433,6 +433,17 @@ impl SubExpr { { rc(self.as_ref().visit(&mut visitor::UnNoteVisitor)) } + + pub fn subst_shift(&self, var: &V