uwplse / ruler

Rewrite Rule Inference Using Equality Saturation
https://dl.acm.org/doi/10.1145/3485496
MIT License
118 stars 9 forks source link

Guard against empty rules #218

Closed ajpal closed 1 year ago

ajpal commented 1 year ago

Panic by default if we don't learn any rules. Special case for n < 3 in recursive rules, because these usually don't learn rules and that's okay.