From 21befc8c8ab2e91632f5341b4fa9425cf3c815ff Mon Sep 17 00:00:00 2001
From: Arnaud Bailly <arnaud@pankzsoft.com>
Date: Mon, 13 Oct 2025 09:18:10 +0200
Subject: update from workshop 2bis

---
 lambda-calcul/rust/src/io.rs | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

(limited to 'lambda-calcul/rust/src/io.rs')

diff --git a/lambda-calcul/rust/src/io.rs b/lambda-calcul/rust/src/io.rs
index 8c628ba..4e5fb59 100644
--- a/lambda-calcul/rust/src/io.rs
+++ b/lambda-calcul/rust/src/io.rs
@@ -21,6 +21,7 @@ pub fn eval_file(file_name: &str) -> String {
 
 pub fn batch_eval<I: Read, O: Write>(inp: &mut I, outp: &mut O) {
     let mut env = Environment::new();
+    let mut context = Environment::new();
     let mut reader = BufReader::new(inp);
     loop {
         let mut input = String::new();
@@ -36,7 +37,7 @@ pub fn batch_eval<I: Read, O: Write>(inp: &mut I, outp: &mut O) {
         let values = parse(&input);
         let results = values
             .iter()
-            .map(|v| eval_whnf(v, &mut env))
+            .map(|v| eval_whnf(v, &mut env, &mut context))
             .collect::<Vec<Value>>();
         for result in results {
             writeln!(outp, "{}", result).unwrap();
@@ -47,6 +48,7 @@ pub fn batch_eval<I: Read, O: Write>(inp: &mut I, outp: &mut O) {
 
 pub fn repl<I: Read, O: Write>(inp: &mut I, outp: &mut O) {
     let mut env = Environment::new();
+    let mut context = Environment::new();
     let mut reader = BufReader::new(inp);
     loop {
         let mut input = String::new();
@@ -63,7 +65,7 @@ pub fn repl<I: Read, O: Write>(inp: &mut I, outp: &mut O) {
         let values = parse(&input);
         let results = values
             .iter()
-            .map(|v| eval_whnf(v, &mut env))
+            .map(|v| eval_whnf(v, &mut env, &mut context))
             .collect::<Vec<Value>>();
         for result in results {
             writeln!(outp, "{}", result).unwrap();
-- 
cgit v1.2.3