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/rust/src/lambda.rs | |
| parent | 68d05695856709ee1c251e496fb5b79a17134dbc (diff) | |
| download | lambda-nantes-e580a8e4f2d44e646c6861197ef0fcf55aaba1d6.tar.gz | |
feat: more logs
Diffstat (limited to 'lambda-calcul/rust/src/lambda.rs')
| -rw-r--r-- | lambda-calcul/rust/src/lambda.rs | 8 |
1 files changed, 8 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)); |
