update from workshop 2bis

1 files changed, 4 insertions, 2 deletions

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