diff options
| author | Arnaud Bailly <arnaud@pankzsoft.com> | 2025-10-09 16:26:22 +0200 |
|---|---|---|
| committer | Arnaud Bailly <arnaud@pankzsoft.com> | 2025-10-09 16:26:22 +0200 |
| commit | e580a8e4f2d44e646c6861197ef0fcf55aaba1d6 (patch) | |
| tree | 1fbb72b8451db4305e8b4366e1c2fee8003913c8 /lambda-calcul | |
| parent | 68d05695856709ee1c251e496fb5b79a17134dbc (diff) | |
| download | lambda-nantes-e580a8e4f2d44e646c6861197ef0fcf55aaba1d6.tar.gz | |
feat: more logs
Diffstat (limited to 'lambda-calcul')
| -rw-r--r-- | lambda-calcul/rust/src/lambda.rs | 8 | ||||
| -rw-r--r-- | lambda-calcul/rust/src/web.rs | 1 |
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); } |
