From cd3c54945d8bff57b121a2f834d165314e0f0738 Mon Sep 17 00:00:00 2001
From: Arnaud Bailly <arnaud.bailly@iohk.io>
Date: Tue, 1 Oct 2024 20:10:02 +0200
Subject: Rename eval() to be more specific

---
 rust/src/io.rs | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'rust/src/io.rs')

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();
-- 
cgit v1.2.3