diff options
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)); |
