Extract action prints extracted (#183)

egraphs-good · Aug 14, 2023 · e0d75d6 · e0d75d6
1 parent 098ef18
commit e0d75d6
Showing 1 changed file with 8 additions and 2 deletions.
diff --git a/src/typecheck.rs b/src/typecheck.rs
@@ -886,17 +886,23 @@ impl EGraph {
                                 .get(&values[0].tag)
                                 .unwrap(),
                         );
-                        log::info!("extracted with cost {cost}: {}", termdag.to_string(&expr));
+                        let extracted = termdag.to_string(&expr);
+                        log::info!("extracted with cost {cost}: {}", extracted);
+                        println!("{}", extracted);
                     } else {
                         if variants < 0 {
                             panic!("Cannot extract negative number of variants");
                         }
                         let extracted =
                             self.extract_variants(values[0], variants as usize, &mut termdag);
                         log::info!("extracted variants:");
+                        println!("(");
                         for expr in extracted {
-                            log::info!("   {}", termdag.to_string(&expr));
+                            let str = termdag.to_string(&expr);
+                            log::info!("   {}", str);
+                            println!("   {}", str);
                         }
+                        println!(")");
                     }
 
                     stack.truncate(new_len);