From 015b76ce47af5b1b31661a934aee13843215c6b0 Mon Sep 17 00:00:00 2001 From: Nadrieril Date: Fri, 27 Dec 2019 16:48:33 +0000 Subject: Construct T/Build closures in Expr space --- dhall/src/semantics/core/var.rs | 6 -- dhall/src/semantics/phase/normalize.rs | 113 +++++++++++++++++---------------- dhall/src/semantics/phase/typecheck.rs | 3 +- 3 files changed, 58 insertions(+), 64 deletions(-) (limited to 'dhall/src') diff --git a/dhall/src/semantics/core/var.rs b/dhall/src/semantics/core/var.rs index 1548713..017a689 100644 --- a/dhall/src/semantics/core/var.rs +++ b/dhall/src/semantics/core/var.rs @@ -62,12 +62,6 @@ impl AlphaVar { self.normal.clone() } } - pub(crate) fn from_var_and_alpha(normal: V