1 files changed, 3 insertions, 3 deletions
diff --git a/rust/src/io.rs b/rust/src/io.rs
index 435f32f..8c628ba 100644
--- a/rust/src/io.rs
+++ b/rust/src/io.rs
@@ -5,7 +5,7 @@ use std::{
 
 use crate::{
     ast::Value,
-    lambda::{eval, eval_all, Environment},
+    lambda::{eval_all, eval_whnf, Environment},
     parser::parse,
 };
 
@@ -36,7 +36,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(v, &mut env))
+            .map(|v| eval_whnf(v, &mut env))
             .collect::<Vec<Value>>();
         for result in results {
             writeln!(outp, "{}", result).unwrap();
@@ -63,7 +63,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(v, &mut env))
+            .map(|v| eval_whnf(v, &mut env))
             .collect::<Vec<Value>>();
         for result in results {
             writeln!(outp, "{}", result).unwrap();