Fix for incorrect reduction and macro use

Cypher1 · Mar 14, 2024 · 2b91c9e · 2b91c9e
1 parent cf6202b
commit 2b91c9e
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/llamada/src/tests.rs b/llamada/src/tests.rs
@@ -205,8 +205,9 @@ macro_rules! tests {
                         plus_m = App(plus.clone(), church_m),
                         plus_n_m = App(plus_m, church_n)
                     );
+                    *expr.root_mut() = (plus_n_m);
                     expr.reduce();
-                    let result = expr.as_church(&plus_n_m);
+                    let result = expr.as_church(expr.root());
                     eprintln!("{n:?} + {m:?} = {result:?}");
                     assert_eq!(result, Some(n + m));
                 }