revert query hacks

egraphs-good · Jul 27, 2023 · 7dd2d3c · 7dd2d3c
1 parent 746e355
commit 7dd2d3c
Show file tree

Hide file tree

Showing 6 changed files with 71 additions and 358 deletions.
diff --git a/src/ast/mod.rs b/src/ast/mod.rs
@@ -953,8 +953,7 @@ impl NormRule {
     }
 
     pub fn resugar_actions(&self, subst: &mut HashMap<Symbol, Expr>) -> Vec<Action> {
-        // TODO doesn't work because re-ordering actions can be bad
-        /*let mut used = HashSet::<Symbol>::default();
+        let mut used = HashSet::<Symbol>::default();
         let mut head = Vec::<Action>::default();
         for a in &self.head {
             match a {
@@ -1046,8 +1045,8 @@ impl NormRule {
                     Expr::Call(..) => head.push(Action::Expr(expr.clone())),
                 };
             }
-        }*/
-        self.head.iter().map(|a| a.to_action()).collect()
+        }
+        head
     }
 
     pub fn resugar(&self) -> Rule {