fix names

src/ast/desugar.rs

@@ -246,7 +246,9 @@ pub(crate) fn desugar_command(
             rule,
         } => {
             let name = if name.as_str() == "" {
-                rule.to_string().replace('\"', "'")
+                // Adding a unique prefix because there may be duplicate rules (e.g., when
+                // processing a resugared egglog program).
+                desugar.get_fresh().to_string() + &rule.to_string().replace('\"', "'")
             } else {
                 name.to_string()
             };
@@ -261,7 +263,7 @@ pub(crate) fn desugar_command(
                 if let Some(new_rule) = add_semi_naive_rule(desugar, rule) {
                     result.push(NCommand::NormRule {
                         ruleset,
-                        name: ("__seminaive-".to_string() + &name).into(),
+                        name: (desugar.get_fresh().to_string() + &"__seminaive-" + &name).into(),
                         rule: new_rule,
                     });
                 }

src/lib.rs

@@ -292,7 +292,7 @@ impl Default for EGraph {
         );
         egraph.scheduler_constructors.insert(
             "backoff".into(),
-            Rc::new(|_| Box::new(scheduler::BackoffScheduler::default())),
+            Rc::new(|_| Box::<scheduler::BackoffScheduler>::default()),
         );
         egraph
     }
@@ -1219,7 +1219,7 @@ impl EGraph {
 
     /// Get the current timestamp
     pub fn get_timestamp(&self) -> u32 {
-        return self.timestamp;
+        self.timestamp
     }
 
     /// Bump the timestamp by 1

src/scheduler.rs

@@ -1,6 +1,6 @@
+use instant::{Duration, Instant};
 use std::fmt::{Display, Formatter};
 use std::mem;
-use std::time::{Duration, Instant};
 
 use crate::{CompiledRule, Error, HashSet, Ruleset, Symbol, Value};
 

src/typechecking.rs

@@ -325,7 +325,7 @@ impl TypeInfo {
             GenericSchedule::WithScheduler(span, scheduler, args, schedule) => {
                 ResolvedSchedule::WithScheduler(
                     span.clone(),
-                    scheduler.clone(),
+                    *scheduler,
                     args.iter()
                         .map(|arg| self.typecheck_expr(arg, &Default::default()))
                         .collect::<Result<Vec<_>, _>>()?,