summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorArnaud Bailly <arnaud@pankzsoft.com>2025-10-09 16:26:22 +0200
committerArnaud Bailly <arnaud@pankzsoft.com>2025-10-09 16:26:22 +0200
commite580a8e4f2d44e646c6861197ef0fcf55aaba1d6 (patch)
tree1fbb72b8451db4305e8b4366e1c2fee8003913c8
parent68d05695856709ee1c251e496fb5b79a17134dbc (diff)
downloadlambda-nantes-e580a8e4f2d44e646c6861197ef0fcf55aaba1d6.tar.gz
feat: more logs
-rw-r--r--lambda-calcul/rust/src/lambda.rs8
-rw-r--r--lambda-calcul/rust/src/web.rs1
2 files changed, 9 insertions, 0 deletions
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
@@ -247,6 +247,14 @@ mod lambda_test {
}
#[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)");
assert_eq!(value, eval1(&value));
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);
}