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 ++++++++
 1 file changed, 8 insertions(+)

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

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