fix analysis merge
@@ -1341,7 +1341,7 @@ impl<L: SynthLanguage> egg::Analysis<L> for SynthAnalysis {
assert_eq!(
to.is_allowed,
from.is_allowed,
- "trying to merge HL and LL eclass: {} != {}",
+ "trying to merge allowed and forbidden eclasses: {} != {}",
to.simplest.pretty(100),
from.simplest.pretty(100)
);
@@ -1359,6 +1359,7 @@ impl<L: SynthLanguage> egg::Analysis<L> for SynthAnalysis {
_ => (),
}
}
+ }
if from.exact && !to.exact {
to.exact = true;
@@ -1369,7 +1370,6 @@ impl<L: SynthLanguage> egg::Analysis<L> for SynthAnalysis {
to.is_extractable = true;
merge_a = true;
}
- }
if cost_fn(&from.simplest) < cost_fn(&to.simplest) {
to.simplest = from.simplest;
