From 084e81956e99bc759012be7c171f4095c2e59d22 Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Tue, 28 Jan 2020 19:34:11 +0000
Subject: Thread env through nztion to fix Foo/build closures

---
 dhall/src/semantics/nze/nzexpr.rs | 5 +++++
 1 file changed, 5 insertions(+)

(limited to 'dhall/src/semantics/nze')

diff --git a/dhall/src/semantics/nze/nzexpr.rs b/dhall/src/semantics/nze/nzexpr.rs
index 6559082..92ba8fd 100644
--- a/dhall/src/semantics/nze/nzexpr.rs
+++ b/dhall/src/semantics/nze/nzexpr.rs
@@ -141,6 +141,11 @@ impl NameEnv {
     pub fn new() -> Self {
         NameEnv { names: Vec::new() }
     }
+    pub fn from_binders(names: impl Iterator<Item = Binder>) -> Self {
+        NameEnv {
+            names: names.collect(),
+        }
+    }
     pub fn as_quoteenv(&self) -> QuoteEnv {
         QuoteEnv {
             size: self.names.len(),
-- 
cgit v1.2.3