summaryrefslogtreecommitdiff
path: root/lambda-calcul/rust/src/lambda.rs
diff options
context:
space:
mode:
Diffstat (limited to 'lambda-calcul/rust/src/lambda.rs')
-rw-r--r--lambda-calcul/rust/src/lambda.rs8
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));