From 8d9403cfe9a20d75c59fb039f75da8523a1758b5 Mon Sep 17 00:00:00 2001 From: Yihong Zhang Date: Mon, 29 Jan 2024 10:41:39 -0800 Subject: [PATCH] add id to All --- tree_unique_args/src/arg_used_analysis.rs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/tree_unique_args/src/arg_used_analysis.rs b/tree_unique_args/src/arg_used_analysis.rs index d6a96f0df..d1bc3248d 100644 --- a/tree_unique_args/src/arg_used_analysis.rs +++ b/tree_unique_args/src/arg_used_analysis.rs @@ -112,8 +112,8 @@ fn test_args_used_analysis() -> Result<(), egglog::Error> { (let id1 (Id (i64-fresh!))) (let id2 (Id (i64-fresh!))) (let expr1 - (All (Parallel) (Pair (Let id2 (All (Parallel) (Pair (Get (Arg id1) 3) - (Num id1 1))) + (All id1 (Parallel) (Pair (Let id2 (All id1 (Parallel) (Pair (Get (Arg id1) 3) + (Num id1 1))) (Get (Arg id2) 0)) (Add (Get (Arg id1) 1) (Get (Arg id1) 2)))))