improve example

argumentcomputer · Aug 7, 2023 · 5f5a0cf · 5f5a0cf
1 parent e1db76e
commit 5f5a0cf
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/src/lem/lemo.rs b/src/lem/lemo.rs
@@ -151,7 +151,9 @@ fn test() {
         op!(let xx: Expr::Cons = hash2(a, b)),
         op!(let (m, n) = unhash2(xx)),
         op!(let z: Expr::Cons = hash2(xx, x)),
-        op!(let (aa, bb) = unhash2(z)),
+        op!(let (x_, x__) = unhash2(z)),
+        op!(let (aa, bb) = unhash2(x_)),
+        op!(let (aaa, bbb) = unhash2(x__)),
     ];
     let ctx = &mut Context::default();
     let ops = process_ops(&ops, ctx).unwrap();