Thread env through nztion to fix Foo/build closures

1 files changed, 5 insertions, 0 deletions

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(),