From e580a8e4f2d44e646c6861197ef0fcf55aaba1d6 Mon Sep 17 00:00:00 2001
From: Arnaud Bailly <arnaud@pankzsoft.com>
Date: Thu, 9 Oct 2025 16:26:22 +0200
Subject: feat: more logs

---
 lambda-calcul/rust/src/lambda.rs | 8 ++++++++
 lambda-calcul/rust/src/web.rs    | 1 +
 2 files changed, 9 insertions(+)

diff --git a/lambda-calcul/rust/src/lambda.rs b/lambda-calcul/rust/src/lambda.rs
index 1a1a85b..ea571fd 100644
--- a/lambda-calcul/rust/src/lambda.rs
+++ b/lambda-calcul/rust/src/lambda.rs
@@ -246,6 +246,14 @@ mod lambda_test {
         eval_whnf(value, &mut Environment::new())
     }
 
+    #[test]
+    fn evaluate_symbol_starting_with_x_returns_same_symbol() {
+        let sym= "x1xYgddw7";
+
+        let value = parse1(sym);
+        assert_eq!(value, eval1(&value));
+    }
+
     #[test]
     fn evaluating_a_non_reducible_value_yields_itself() {
         let value = parse1("(foo 12)");
diff --git a/lambda-calcul/rust/src/web.rs b/lambda-calcul/rust/src/web.rs
index 5ad48bd..7dae468 100644
--- a/lambda-calcul/rust/src/web.rs
+++ b/lambda-calcul/rust/src/web.rs
@@ -392,6 +392,7 @@ fn apply_result(
 ) {
     let mut client = client_m.lock().unwrap();
     let test = client.check_result(&expected, &response);
+    info!("result for {} = {:?}, expected {:?}", client.url, test, expected);
     client.apply(&test);
 }
 
-- 
cgit v1.2.3